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="menubar">
   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         </widget>
 227
 228
 229         <widget class="GtkScrolledWindow" id="scrolledwindow8">
 230           <property name="visible">True</property>
 231           <property name="can_focus">True</property>
 232           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 233           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 234           <property name="shadow_type">GTK_SHADOW_IN</property>
 235           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 236
 237           <child>
 238             <widget class="GtkTextView" id="syntax_text_view">
 239               <property name="visible">True</property>
 240               <property name="can_focus">True</property>
 241               <property name="editable">True</property>
 242               <property name="overwrite">False</property>
 243               <property name="accepts_tab">True</property>
 244               <property name="justification">GTK_JUSTIFY_LEFT</property>
 245               <property name="wrap_mode">GTK_WRAP_NONE</property>
 246               <property name="cursor_visible">True</property>
 247               <property name="pixels_above_lines">0</property>
 248               <property name="pixels_below_lines">0</property>
 249               <property name="pixels_inside_wrap">0</property>
 250               <property name="left_margin">0</property>
 251               <property name="right_margin">0</property>
 252               <property name="indent">0</property>
 253               <property name="text" translatable="yes"></property>
 254             </widget>
 255           </child>
 256         </widget>
 257
 258         <widget class="GtkStatusbar" id="statusbar2">
 259           <property name="visible">True</property>
 260           <property name="has_resize_grip">True</property>
 261         </widget>
 262
 263 </glade-interface>