void gui_main_menu_tool_options(gpointer callback_data, gint callback_action, gpointer data);
void gui_main_menu_tool_colors(gpointer callback_data, gint callback_action, gpointer data);
void gui_main_menu_tool_menu_accels(gpointer callback_data, gint callback_action, gpointer data);