diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:22:24 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:23:38 +0100 |
commit | a6b5a6bdd138a5ccc6827bcc73580df1e9218820 (patch) | |
tree | ff577395c1a5951a61a7234322f927f6ead5ee29 /actions.mli | |
parent | ecb6fd62c275af03a07d892313ab3914d81cd40e (diff) |
Moved all the code to src directory
Diffstat (limited to 'actions.mli')
-rwxr-xr-x | actions.mli | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/actions.mli b/actions.mli deleted file mode 100755 index f955538..0000000 --- a/actions.mli +++ /dev/null @@ -1,28 +0,0 @@ -type direction =
-| Up of int
-| Down of int
-| Left of int
-| Right of int
-| Absolute of int * int
-
-type modes =
-| Normal
-| Select
-| Edit
-| Command
-
-type actions =
-| Move of direction
-| Resize (* Resize event *)
-| Escape
-| Delete
-| Yank
-| Paste
-| Search
-| Undo
-| Edit
-| InsertFormula
-| Visual
-| Button1_clicked of (int * int)
-| Button1_released of (int * int)
-| Command
|