static void about_credits_cb(GtkWidget *widget, gpointer data) { help_window_show("credits"); }
static void editor_help_cb(GtkWidget *widget, gpointer data) { help_window_show("editors"); }
static void editor_list_window_help_cb(GtkWidget *widget, gpointer data) { help_window_show("GuidePluginsConfig.html"); }