diff options
Diffstat (limited to 'ide/.coqiderc')
| -rw-r--r-- | ide/.coqiderc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/.coqiderc b/ide/.coqiderc index 89967ce362..68d0a56c44 100644 --- a/ide/.coqiderc +++ b/ide/.coqiderc @@ -5,6 +5,7 @@ binding "text" { } bind "<ctrl>x" { } bind "F13" {"insert-at-cursor" ("∀")} + bind "F14" {"insert-at-cursor" ("∃")} } class "GtkTextView" binding "text" |