return NULL;
}
+void subsurface_flush_conf(void)
+{
+ /* this is a no-op */
+}
+
void subsurface_close_conf(void)
{
/* this is a no-op */
}
void subsurface_ui_setup(GtkSettings *settings, GtkWidget *menubar,
- GtkWidget *vbox)
+ GtkWidget *vbox, GtkUIManager *ui_manager)
{
if (!divelist_font)
divelist_font = DIVELIST_DEFAULT_FONT;