src/ui/gui/syntax-editor.glade

   1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
   2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
   3
   4 <glade-interface>
   5
   6         <widget class="GtkMenuBar" id="menubar2">
   7           <property name="visible">True</property>
   8           <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
   9           <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
  10
  11           <child>
  12             <widget class="GtkMenuItem" id="menu_syntax_file">
  13               <property name="visible">True</property>
  14               <property name="label" translatable="yes">_File</property>
  15               <property name="use_underline">True</property>
  16
  17               <child>
  18                 <widget class="GtkMenu" id="menu_syntax_file_menu">
  19
  20                   <child>
  21                     <widget class="GtkImageMenuItem" id="new2">
  22                       <property name="visible">True</property>
  23                       <property name="label">gtk-new</property>
  24                       <property name="use_stock">True</property>
  25
  26                       <child>
  27                         <widget class="GtkMenu" id="new2_menu">
  28
  29                           <child>
  30                             <widget class="GtkMenuItem" id="file_new_syntax">
  31                               <property name="visible">True</property>
  32                               <property name="label" translatable="yes">_Syntax</property>
  33                               <property name="use_underline">True</property>
  34                             </widget>
  35                           </child>
  36
  37                           <child>
  38                             <widget class="GtkMenuItem" id="file_new_data">
  39                               <property name="visible">True</property>
  40                               <property name="sensitive">False</property>
  41                               <property name="label" translatable="yes">_Data</property>
  42                               <property name="use_underline">True</property>
  43                             </widget>
  44                           </child>
  45                         </widget>
  46                       </child>
  47                     </widget>
  48                   </child>
  49
  50                   <child>
  51                     <widget class="GtkImageMenuItem" id="open2">
  52                       <property name="visible">True</property>
  53                       <property name="label">gtk-open</property>
  54                       <property name="use_stock">True</property>
  55
  56                       <child>
  57                         <widget class="GtkMenu" id="open2_menu">
  58
  59                           <child>
  60                             <widget class="GtkMenuItem" id="file_open_syntax">
  61                               <property name="visible">True</property>
  62                               <property name="label" translatable="yes">_Syntax</property>
  63                               <property name="use_underline">True</property>
  64                             </widget>
  65                           </child>
  66
  67                           <child>
  68                             <widget class="GtkMenuItem" id="file_open_data">
  69                               <property name="visible">True</property>
  70                               <property name="sensitive">False</property>
  71                               <property name="label" translatable="yes">_Data</property>
  72                               <property name="use_underline">True</property>
  73                             </widget>
  74                           </child>
  75                         </widget>
  76                       </child>
  77                     </widget>
  78                   </child>
  79
  80                   <child>
  81                     <widget class="GtkImageMenuItem" id="file_save">
  82                       <property name="visible">True</property>
  83                       <property name="label">gtk-save</property>
  84                       <property name="use_stock">True</property>
  85                     </widget>
  86                   </child>
  87
  88                   <child>
  89                     <widget class="GtkImageMenuItem" id="file_save_as">
  90                       <property name="visible">True</property>
  91                       <property name="label">gtk-save-as</property>
  92                       <property name="use_stock">True</property>
  93                     </widget>
  94                   </child>
  95
  96                   <child>
  97                     <widget class="GtkSeparatorMenuItem" id="separatormenuitem2">
  98                       <property name="visible">True</property>
  99                     </widget>
 100                   </child>
 101
 102                   <child>
 103                     <widget class="GtkImageMenuItem" id="file_quit">
 104                       <property name="visible">True</property>
 105                       <property name="label">gtk-quit</property>
 106                       <property name="use_stock">True</property>
 107                     </widget>
 108                   </child>
 109                 </widget>
 110               </child>
 111             </widget>
 112           </child>
 113
 114           <child>
 115             <widget class="GtkMenuItem" id="menuitem7">
 116               <property name="visible">False</property>
 117               <property name="sensitive">False</property>
 118               <property name="label" translatable="yes">_Edit</property>
 119               <property name="use_underline">True</property>
 120
 121               <child>
 122                 <widget class="GtkMenu" id="menuitem7_menu">
 123
 124                   <child>
 125                     <widget class="GtkImageMenuItem" id="cut2">
 126                       <property name="visible">True</property>
 127                       <property name="label">gtk-cut</property>
 128                       <property name="use_stock">True</property>
 129                     </widget>
 130                   </child>
 131
 132                   <child>
 133                     <widget class="GtkImageMenuItem" id="copy2">
 134                       <property name="visible">True</property>
 135                       <property name="label">gtk-copy</property>
 136                       <property name="use_stock">True</property>
 137                     </widget>
 138                   </child>
 139
 140                   <child>
 141                     <widget class="GtkImageMenuItem" id="paste2">
 142                       <property name="visible">True</property>
 143                       <property name="label">gtk-paste</property>
 144                       <property name="use_stock">True</property>
 145                     </widget>
 146                   </child>
 147
 148                   <child>
 149                     <widget class="GtkImageMenuItem" id="delete1">
 150                       <property name="visible">True</property>
 151                       <property name="label">gtk-delete</property>
 152                       <property name="use_stock">True</property>
 153                     </widget>
 154                   </child>
 155                 </widget>
 156               </child>
 157             </widget>
 158           </child>
 159
 160           <child>
 161             <widget class="GtkMenuItem" id="run1">
 162               <property name="visible">True</property>
 163               <property name="label" translatable="yes">_Run</property>
 164               <property name="use_underline">True</property>
 165
 166               <child>
 167                 <widget class="GtkMenu" id="run1_menu">
 168
 169                   <child>
 170                     <widget class="GtkMenuItem" id="run_all">
 171                       <property name="visible">True</property>
 172                       <property name="label" translatable="yes">All</property>
 173                       <property name="use_underline">True</property>
 174                     </widget>
 175                   </child>
 176
 177                   <child>
 178                     <widget class="GtkMenuItem" id="run_selection">
 179                       <property name="visible">True</property>
 180                       <property name="label" translatable="yes">Selection</property>
 181                       <property name="use_underline">True</property>
 182                     </widget>
 183                   </child>
 184
 185                   <child>
 186                     <widget class="GtkMenuItem" id="run_current_line">
 187                       <property name="visible">True</property>
 188                       <property name="label" translatable="yes">Current Line</property>
 189                       <property name="use_underline">True</property>
 190                       <accelerator key="R" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 191                     </widget>
 192                   </child>
 193
 194                   <child>
 195                     <widget class="GtkMenuItem" id="run_to_end">
 196                       <property name="visible">True</property>
 197                       <property name="label" translatable="yes">To End</property>
 198                       <property name="use_underline">True</property>
 199                     </widget>
 200                   </child>
 201                 </widget>
 202               </child>
 203             </widget>
 204           </child>
 205
 206           <child>
 207             <widget class="GtkMenuItem" id="windows">
 208               <property name="visible">True</property>
 209               <property name="label" translatable="yes">_Windows</property>
 210               <property name="use_underline">True</property>
 211
 212               <child>
 213                 <widget class="GtkMenu" id="windows_menu">
 214
 215                   <child>
 216                     <widget class="GtkMenuItem" id="windows_minimise_all">
 217                       <property name="visible">True</property>
 218                       <property name="label" translatable="yes">_Minimize All Windows</property>
 219                       <property name="use_underline">True</property>
 220                     </widget>
 221                   </child>
 222                 </widget>
 223               </child>
 224             </widget>
 225           </child>
 226           <child>
 227             <widget class="GtkMenuItem" id="menuitem9">
 228               <property name="visible">True</property>
 229               <property name="label" translatable="yes">_Help</property>
 230               <property name="use_underline">True</property>
 231
 232               <child>
 233                 <widget class="GtkMenu" id="menuitem9_menu">
 234                   <child>
 235                     <widget class="GtkMenuItem" id="help_reference">
 236                       <property name="visible">True</property>
 237                       <property name="label" translatable="yes">_Reference Manual</property>
 238                       <property name="use_underline">True</property>
 239                     </widget>
 240                   </child>
 241                   <child>
 242                     <widget class="GtkMenuItem" id="help_about">
 243                       <property name="visible">True</property>
 244                       <property name="label" translatable="yes">_About</property>
 245                       <property name="use_underline">True</property>
 246                     </widget>
 247                   </child>
 248                 </widget>
 249               </child>
 250             </widget>
 251           </child>
 252         </widget>
 253
 254
 255         <widget class="GtkScrolledWindow" id="scrolledwindow8">
 256           <property name="visible">True</property>
 257           <property name="can_focus">True</property>
 258           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 259           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 260           <property name="shadow_type">GTK_SHADOW_IN</property>
 261           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 262
 263           <child>
 264             <widget class="GtkTextView" id="syntax_text_view">
 265               <property name="visible">True</property>
 266               <property name="can_focus">True</property>
 267               <property name="editable">True</property>
 268               <property name="overwrite">False</property>
 269               <property name="accepts_tab">True</property>
 270               <property name="justification">GTK_JUSTIFY_LEFT</property>
 271               <property name="wrap_mode">GTK_WRAP_NONE</property>
 272               <property name="cursor_visible">True</property>
 273               <property name="pixels_above_lines">0</property>
 274               <property name="pixels_below_lines">0</property>
 275               <property name="pixels_inside_wrap">0</property>
 276               <property name="left_margin">0</property>
 277               <property name="right_margin">0</property>
 278               <property name="indent">0</property>
 279               <property name="text" translatable="yes"></property>
 280             </widget>
 281           </child>
 282         </widget>
 283
 284         <widget class="GtkStatusbar" id="statusbar2">
 285           <property name="visible">True</property>
 286           <property name="has_resize_grip">True</property>
 287         </widget>
 288
 289 </glade-interface>