+/* Login details */
+
+void login_box(void);
+
+GtkWidget *login_window;
+
+/* User management */
+
+void manage_users(void);
+
+/* Help */
+
+void popup_help(void);
+
+/* RTP */
+
+int rtp_running(void);
+void start_rtp(void);
+void stop_rtp(void);
+
+/* Settings */
+
+void init_styles(void);
+extern GtkStyle *layout_style;
+extern GtkStyle *title_style;
+extern GtkStyle *even_style;
+extern GtkStyle *odd_style;
+extern GtkStyle *active_style;
+extern GtkStyle *tool_style;
+extern GtkStyle *search_style;
+extern GtkStyle *drag_style;
+
+extern const char *browser;
+
+void save_settings(void);
+void load_settings(void);
+void set_tool_colors(GtkWidget *w);
+void popup_settings(void);
+