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 run_next_cb (GtkButton *button,
49 run_prev_cb (GtkButton *button,
53 run_this_cb (GtkButton *button,
57 apply_manual_cb (GtkButton *button,
61 prefs_ok_cb (GtkButton *button,
65 prefs_cancel_cb (GtkButton *button,
69 manual_cb (GtkButton *button,
73 notebook_switch_page_cb (GtkNotebook *notebook,
74 GtkNotebookPage *page,
79 pref_changed_cb (GtkToggleButton *togglebutton,
83 enabled_cb (GtkToggleButton *togglebutton,
87 browse_image_dir_cb (GtkButton *button,