void login_box(void);
+GtkWidget *login_window;
+
/* Help */
void popup_help(void);
void save_settings(void);
void load_settings(void);
void set_tool_colors(GtkWidget *w);
+void popup_settings(void);
/* Widget leakage debugging rubbish ---------------------------------------- */