diff options
| author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2013-02-13 13:31:08 +0000 |
|---|---|---|
| committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2013-02-13 14:57:11 +0000 |
| commit | 814372e88b23ce7956b2322d6f382742e2277ea5 (patch) | |
| tree | c92167f83e2bfee10206c9b1fcf0494584cf92a8 /tikzit/src/gtk/Application.h | |
| parent | 0a7223674204a6e8ee311e226b2b5ddef88803a3 (diff) | |
GTK: Add shortcuts for changing selection mode
Now when the graph has focus, shift+n will choose node selection,
shift+e edge selection and shift+b both.
Diffstat (limited to 'tikzit/src/gtk/Application.h')
| -rw-r--r-- | tikzit/src/gtk/Application.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tikzit/src/gtk/Application.h b/tikzit/src/gtk/Application.h index b364c5e..e82d2b1 100644 --- a/tikzit/src/gtk/Application.h +++ b/tikzit/src/gtk/Application.h @@ -150,7 +150,10 @@ extern Application* app; */ - (void) saveConfiguration; -- (void) activateToolForKey:(unsigned int)keyVal withMask:(InputMask)mask; +/** + * @result YES if key event was processed, NO otherwise + */ +- (BOOL) activateToolForKey:(unsigned int)keyVal withMask:(InputMask)mask; @end |