new settings menu in gui

[drnoksnes] / gui / plugin.h

diff --git a/gui/plugin.h b/gui/plugin.h
index 8ba0df3..548899b 100644 (file)
--- a/gui/plugin.h
+++ b/gui/plugin.h
@@ -19,4 +19,7 @@ void save_load(GtkWindow* parent);
 void save_save(GtkWindow* parent);
 void save_save_as(GtkWindow* parent);
 
+/* controls.c */
+void controls_dialog(GtkWindow* parent);
+
 #endif