diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-02-25 16:47:06 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-02-25 16:47:06 +0000 |
commit | 6231cb1123a9d0d0b18d9aa457e645272fd8195e (patch) | |
tree | 310bd65c65cd097fe08a3dd49bcb77f1bd01ac20 | |
parent | 6a82049c393f851b76d53f163cf20e6e872de30d (diff) |
CoqIDE: Add TAB key to autocomplete
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16243 85f007b7-540e-0410-9357-904b9bb8a0f7
-rw-r--r-- | ide/wg_Completion.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/wg_Completion.ml b/ide/wg_Completion.ml index 9f79385c2..b2e128b0e 100644 --- a/ide/wg_Completion.ml +++ b/ide/wg_Completion.ml @@ -403,6 +403,7 @@ object (self) if obj#misc#visible then if ev_key = GdkKeysyms._Up then eval self#select_previous else if ev_key = GdkKeysyms._Down then eval self#select_next + else if ev_key = GdkKeysyms._Tab then eval self#select_enter else if ev_key = GdkKeysyms._Return then eval self#select_enter else if ev_key = GdkKeysyms._Escape then eval self#hide else if ev_key = GdkKeysyms._Page_Down then eval self#select_next_page |