diff options
| author | Bram Moolenaar <Bram@vim.org> | 2006-03-21 21:33:03 +0000 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2006-03-21 21:33:03 +0000 |
| commit | e580b0c34d3226f6ee5a62e33b987a239c0ba83e (patch) | |
| tree | df84ffbdea209ff98179063a00f08a01a0c4f249 /src/gui_gtk_x11.c | |
| parent | 433f7c88d56bb8fd99082314055305a656462a13 (diff) | |
updated for version 7.0231v7.0231
Diffstat (limited to 'src/gui_gtk_x11.c')
| -rw-r--r-- | src/gui_gtk_x11.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 7399fb1ca5..f1661b4fcd 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -3541,6 +3541,8 @@ gui_mch_init(void) gnome_app_set_menus(GNOME_APP(gui.mainwin), GTK_MENU_BAR(gui.menubar)); dockitem = gnome_app_get_dock_item_by_name(GNOME_APP(gui.mainwin), GNOME_APP_MENUBAR_NAME); + // bonobo_dock_item_set_behavior(dockitem, + // BONOBO_DOCK_ITEM_BEH_NEVER_FLOATING); gui.menubar_h = GTK_WIDGET(dockitem); # else gui.menubar_h = gnome_dock_item_new("VimMainMenu", @@ -3597,6 +3599,10 @@ gui_mch_init(void) dockitem = gnome_app_get_dock_item_by_name(GNOME_APP(gui.mainwin), GNOME_APP_TOOLBAR_NAME); gui.toolbar_h = GTK_WIDGET(dockitem); + /* When the toolbar is floating it gets stuck. So long as that isn't + * fixed let's disallow floating. Also changes it appearance... */ + bonobo_dock_item_set_behavior(dockitem, + BONOBO_DOCK_ITEM_BEH_NEVER_FLOATING); gtk_container_set_border_width(GTK_CONTAINER(gui.toolbar), 0); # else GtkWidget *dockitem; |