diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-29 15:51:39 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2018-02-09 10:27:07 +0100 |
commit | bb48738c4111f5f4e2faa40fe67ae1b8b9d7c2eb (patch) | |
tree | fdea7f0473453423f052700c7cf807640589ab2f /src/actions.mli | |
parent | 754713ed399110d5a199653a684d65cbe258bf5d (diff) |
Rework on the Sheet.ml API : removed low level functions, made the sheet mutable
Diffstat (limited to 'src/actions.mli')
-rwxr-xr-x | src/actions.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/actions.mli b/src/actions.mli index f955538..9a59aa1 100755 --- a/src/actions.mli +++ b/src/actions.mli @@ -13,7 +13,6 @@ type modes = type actions =
| Move of direction
-| Resize (* Resize event *)
| Escape
| Delete
| Yank
@@ -26,3 +25,4 @@ type actions = | Button1_clicked of (int * int)
| Button1_released of (int * int)
| Command
+| Resize
|