diff options
author | Maximilian Güntner <maximilian.guentner@gmail.com> | 2012-08-22 01:15:41 +0200 |
---|---|---|
committer | Maximilian Güntner <maximilian.guentner@gmail.com> | 2012-08-22 01:15:41 +0200 |
commit | 0c0ec7e4f60d9678c3950757ccb8f791f10d033c (patch) | |
tree | c0bc02a006629b9aff242a5ffe08e0d0a16e20b2 /macos.c | |
parent | 2cada118eb515e369ba23b85c8f3fb8c4d100aaa (diff) | |
parent | 666538ec7739fe839623bd1b6f9f80ff884ad5a9 (diff) | |
download | subsurface-0c0ec7e4f60d9678c3950757ccb8f791f10d033c.tar.gz |
Merge branch 'master' into freediving-tweaks
Signed-off-by: Maximilian Güntner <maximilian.guentner@gmail.com>
Diffstat (limited to 'macos.c')
-rw-r--r-- | macos.c | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -98,10 +98,9 @@ void subsurface_ui_setup(GtkSettings *settings, GtkWidget *menubar, gtk_widget_hide (menubar); gtk_osxapplication_set_menu_bar(osx_app, GTK_MENU_SHELL(menubar)); - sep = gtk_ui_manager_get_widget(ui_manager, "/MainMenu/FileMenu/Separator3"); - gtk_widget_destroy(sep); sep = gtk_ui_manager_get_widget(ui_manager, "/MainMenu/FileMenu/Separator2"); - gtk_widget_destroy(sep); + if (sep) + gtk_widget_destroy(sep); menu_item = gtk_ui_manager_get_widget(ui_manager, "/MainMenu/FileMenu/Quit"); gtk_widget_hide (menu_item); |