5 activate_menu_cb (GtkMenuItem *menuitem,
9 lock_menu_cb (GtkMenuItem *menuitem,
13 kill_menu_cb (GtkMenuItem *menuitem,
17 restart_menu_cb (GtkMenuItem *menuitem,
21 exit_menu_cb (GtkMenuItem *menuitem,
25 cut_menu_cb (GtkMenuItem *menuitem,
29 copy_menu_cb (GtkMenuItem *menuitem,
33 paste_menu_cb (GtkMenuItem *menuitem,
37 about_menu_cb (GtkMenuItem *menuitem,
41 doc_menu_cb (GtkMenuItem *menuitem,
45 switch_page_cb (GtkNotebook *notebook,
46 GtkNotebookPage *page,
51 pref_changed_cb (GtkWidget *widget,
55 run_next_cb (GtkButton *button,
59 run_prev_cb (GtkButton *button,
63 run_this_cb (GtkButton *button,
67 manual_cb (GtkButton *button,
71 settings_cb (GtkButton *button,
75 browse_image_dir_cb (GtkButton *button,
79 settings_switch_page_cb (GtkNotebook *notebook,
80 GtkNotebookPage *page,
85 enabled_cb (GtkToggleButton *togglebutton,
89 settings_adv_cb (GtkButton *button,
93 settings_std_cb (GtkButton *button,
97 settings_ok_cb (GtkButton *button,
101 settings_cancel_cb (GtkButton *button,