Fix profile and average depth for freedives

[ext/subsurface.git] / macos.c

diff --git a/macos.c b/macos.c
index f6c4bd6c097c8ce14cd5ed73539cf99f42e9429e..1b7da1ec6192e6143809cda9787a91fafc5045e8 100644 (file)
--- a/macos.c
+++ b/macos.c
@@ -59,13 +59,18 @@ const void *subsurface_get_conf(char *name, pref_type_t type)
        return NULL;
 }
 
-void subsurface_close_conf(void)
+void subsurface_flush_conf(void)
 {
        int ok = CFPreferencesAppSynchronize(SUBSURFACE_PREFERENCES);
        if (!ok)
                fprintf(stderr,"Could not save preferences\n");
 }
 
+void subsurface_close_conf(void)
+{
+       /* Nothing */
+}
+
 const char *subsurface_USB_name()
 {
        return "/dev/tty.SLAB_USBtoUART";
@@ -93,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);