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";
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);