void save_save(GtkWindow* parent);
void save_save_as(GtkWindow* parent);
+/* settings.c */
+void settings_dialog(GtkWindow* parent);
+void settings_update_controls(int player);
+
/* controls.c */
-void controls_setup();
-void controls_dialog(GtkWindow* parent);
+void controls_dialog(GtkWindow* parent, int player);
+gchar* controls_describe(int player);
+
+/* keys.c */
+void keys_dialog(GtkWindow* parent, int player);
/* about.c */
void about_dialog(GtkWindow* parent);