From 6231cb1123a9d0d0b18d9aa457e645272fd8195e Mon Sep 17 00:00:00 2001 From: ppedrot Date: Mon, 25 Feb 2013 16:47:06 +0000 Subject: CoqIDE: Add TAB key to autocomplete git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16243 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/wg_Completion.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'ide/wg_Completion.ml') 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 -- cgit v1.2.3