diff options
| -rw-r--r-- | ide/coqide.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 386bd8047c..e977ec5320 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -1220,7 +1220,7 @@ let build_ui () = ((Coqide_ui.ui_m#get_widget "/CoqIde ToolBar")#as_widget) in let () = GtkButton.Toolbar.set - ~orientation:`HORIZONTAL ~style:`ICONS ~tooltips:true tbar + ~orientation:`HORIZONTAL ~style:`ICONS tbar in let toolbar = new GButton.toolbar tbar in let () = vbox#pack toolbar#coerce in |