menu_syntax_file _File gtk-new new2 file_new_syntax _Syntax file_new_data _Data gtk-open open2 file_open_syntax _Syntax file_open_data _Data gtk-save file_save gtk-save-as file_save_as gtk-quit file_quit menuitem7 _Edit gtk-cut cut gtk-copy copy gtk-paste paste gtk-delete delete run1 _Run run_all All run_selection Selection run_current_line Current Line run_to_end To End windows _Windows windows_minimise_all _Minimize All Windows True GTK_PACK_DIRECTION_LTR GTK_PACK_DIRECTION_LTR True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True True False True GTK_JUSTIFY_LEFT GTK_WRAP_NONE True 0 0 0 0 0 0 True True