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/actionParser.mly | |
parent | 754713ed399110d5a199653a684d65cbe258bf5d (diff) |
Rework on the Sheet.ml API : removed low level functions, made the sheet mutable
Diffstat (limited to 'src/actionParser.mly')
-rwxr-xr-x | src/actionParser.mly | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/actionParser.mly b/src/actionParser.mly index 6318ca6..296467a 100755 --- a/src/actionParser.mly +++ b/src/actionParser.mly @@ -7,7 +7,6 @@ %token EOF %token LEFT RIGHT UP DOWN %token NPAGE PPAGE HOME END -%token RESIZE %token DELETE %token SEARCH %token E U V Y P @@ -16,6 +15,7 @@ %token <int*int>BUTTON1_CLICKED %token <int*int>BUTTON1_RELEASED %token COMMAND +%token RESIZE %start <Actions.actions> normal %% @@ -27,7 +27,6 @@ normal: | RIGHT { Move (Right 1) } | UP { Move (Up 1) } | DOWN { Move (Down 1) } - | RESIZE { Resize } | DELETE { Delete } | E { Edit } | U { Undo } @@ -43,3 +42,4 @@ normal: | BUTTON1_CLICKED { Button1_clicked $1} | BUTTON1_RELEASED{ Button1_released $1} | COMMAND { Command } + | RESIZE { Resize } |