diff options
author | 2012-05-25 10:08:27 +0000 | |
---|---|---|
committer | 2012-05-25 10:08:27 +0000 | |
commit | bb950a09785c1e5a95e6368852a0d8a4b5003f5d (patch) | |
tree | 0421b36ae2fd5d32e3728678b91eeb5a9a248313 | |
parent | 97d7b5ee7c122681b82723c90115b98ddc09b996 (diff) |
Fixed #2769.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15362 85f007b7-540e-0410-9357-904b9bb8a0f7
-rw-r--r-- | ide/coqide.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 1db53ea10..fd5186a9e 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -1928,9 +1928,9 @@ let main files = (* GAction.add_action "Save preferences" ~label:"_Save preferences" ~callback:(fun _ -> save_pref ()); *) ]; GAction.add_actions view_actions [ GAction.add_action "View" ~label:"_View"; - GAction.add_action "Previous tab" ~label:"_Previous tab" ~accel:("<Ctrl><Shift>Tab") ~stock:`GO_BACK + GAction.add_action "Previous tab" ~label:"_Previous tab" ~accel:("<Alt>Left") ~stock:`GO_BACK ~callback:(fun _ -> session_notebook#previous_page ()); - GAction.add_action "Next tab" ~label:"_Next tab" ~accel:("<Ctrl>Tab") ~stock:`GO_FORWARD + GAction.add_action "Next tab" ~label:"_Next tab" ~accel:("<Alt>Right") ~stock:`GO_FORWARD ~callback:(fun _ -> session_notebook#next_page ()); GAction.add_toggle_action "Show Toolbar" ~label:"Show _Toolbar" ~active:(current.show_toolbar) ~callback: |