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_this_cb (GtkButton *button,
61 cancel_this_cb (GtkButton *button,
65 prefs_ok_cb (GtkButton *button,
69 prefs_cancel_cb (GtkButton *button,