diff options
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'> |