+ GtkToolItem *ti_value_labels_button;
+
+ GtkToolItem *ti_jump_to_variable;
+ GtkToolItem *ti_insert_variable;
+ GtkToolItem *ti_jump_to_case;
+ GtkToolItem *ti_insert_case;
+ GtkToolItem *ti_find;
+
+ GtkWidget *mi_go_to_case;
+ GtkWidget *mi_insert_case;
+ GtkWidget *mi_find;
+ GtkWidget *mi_find_separator;
+
+
+ GtkWidget *mi_edit_separator ;
+ GtkWidget *mi_cut;
+ GtkWidget *mi_copy;
+ GtkWidget *mi_paste;
+ GtkWidget *mi_clear_variables;
+ GtkWidget *mi_clear_cases;
+ GtkWidget *mi_insert_var;