return NULL;
}
-void subsurface_close_conf(void)
+void subsurface_flush_conf(void)
{
+ /* I wonder if we should even do this - it's apparently very expensive */
if (RegFlushKey(hkey) != ERROR_SUCCESS)
printf("RegFlushKey failed \n");
+}
+
+void subsurface_close_conf(void)
+{
RegCloseKey(hkey);
}
}
void subsurface_ui_setup(GtkSettings *settings, GtkWidget *menubar,
- GtkWidget *vbox)
+ GtkWidget *vbox, GtkUIManager *ui_manager)
{
if (!divelist_font)
divelist_font = DIVELIST_DEFAULT_FONT;