diff options
| author |  ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-04-18 15:49:31 +0000 |
|---|---|---|
| committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-04-18 15:49:31 +0000 |
| commit | ab99b2f3e62bdb67c2ebb001cf5bd0dcce8be73d (patch) | |
| tree | d17084760a378ec6ad907bb6e5c67820d3086aab /ide/coqide_ui.ml | |
| parent | cf9a7e43e3527184b56e18e5a65836a3345f13c7 (diff) | |
Cleaning up preferences and hooks in CoqIDE
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15215 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coqide_ui.ml')
| -rw-r--r-- | ide/coqide_ui.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/ide/coqide_ui.ml b/ide/coqide_ui.ml index a29197486..eaf1e9348 100644 --- a/ide/coqide_ui.ml +++ b/ide/coqide_ui.ml @@ -59,7 +59,10 @@ let init () = <menu name='View' action='View'> <menuitem action='Previous tab' /> <menuitem action='Next tab' /> - <separator /> + <separator/> + <menuitem action='Show Toolbar' /> + <menuitem action='Show Query Pane' /> + <separator/> <menuitem action='Display implicit arguments' /> <menuitem action='Display coercions' /> <menuitem action='Display raw matching expressions' /> @@ -120,8 +123,6 @@ let init () = <menuitem action='Make makefile' /> </menu> <menu action='Windows'> - <menuitem action='Show/Hide Query Pane' /> - <menuitem action='Show/Hide Toolbar' /> <menuitem action='Detach View' /> </menu> <menu name='Help' action='Help'> |