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="GtkWindow" id="syntax_editor">
   7   <property name="width_request">640</property>
   8   <property name="height_request">480</property>
   9   <property name="can_focus">True</property>
  10   <property name="title" translatable="yes">Psppire Syntax Editor</property>
  11   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  12   <property name="window_position">GTK_WIN_POS_NONE</property>
  13   <property name="modal">False</property>
  14   <property name="resizable">True</property>
  15   <property name="destroy_with_parent">False</property>
  16   <property name="decorated">True</property>
  17   <property name="skip_taskbar_hint">False</property>
  18   <property name="skip_pager_hint">False</property>
  19   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  20   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  21   <property name="focus_on_map">True</property>
  22   <property name="urgency_hint">False</property>
  23
  24   <child>
  25     <widget class="GtkVBox" id="vbox14">
  26       <property name="visible">True</property>
  27       <property name="homogeneous">False</property>
  28       <property name="spacing">0</property>
  29
  30       <child>
  31         <widget class="GtkMenuBar" id="menubar2">
  32           <property name="visible">True</property>
  33           <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
  34           <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
  35
  36           <child>
  37             <widget class="GtkMenuItem" id="menu_syntax_file">
  38               <property name="visible">True</property>
  39               <property name="label" translatable="yes">_File</property>
  40               <property name="use_underline">True</property>
  41
  42               <child>
  43                 <widget class="GtkMenu" id="menu_syntax_file_menu">
  44
  45                   <child>
  46                     <widget class="GtkImageMenuItem" id="new2">
  47                       <property name="visible">True</property>
  48                       <property name="label">gtk-new</property>
  49                       <property name="use_stock">True</property>
  50
  51                       <child>
  52                         <widget class="GtkMenu" id="new2_menu">
  53
  54                           <child>
  55                             <widget class="GtkMenuItem" id="file_new_syntax">
  56                               <property name="visible">True</property>
  57                               <property name="label" translatable="yes">_Syntax</property>
  58                               <property name="use_underline">True</property>
  59                             </widget>
  60                           </child>
  61
  62                           <child>
  63                             <widget class="GtkMenuItem" id="file_new_data">
  64                               <property name="visible">True</property>
  65                               <property name="label" translatable="yes">_Data</property>
  66                               <property name="use_underline">True</property>
  67                             </widget>
  68                           </child>
  69                         </widget>
  70                       </child>
  71                     </widget>
  72                   </child>
  73
  74                   <child>
  75                     <widget class="GtkImageMenuItem" id="open2">
  76                       <property name="visible">True</property>
  77                       <property name="label">gtk-open</property>
  78                       <property name="use_stock">True</property>
  79
  80                       <child>
  81                         <widget class="GtkMenu" id="open2_menu">
  82
  83                           <child>
  84                             <widget class="GtkMenuItem" id="file_open_syntax">
  85                               <property name="visible">True</property>
  86                               <property name="label" translatable="yes">_Syntax</property>
  87                               <property name="use_underline">True</property>
  88                               <signal name="activate" handler="on_syntax4_activate" last_modification_time="Tue, 05 Dec 2006 01:43:21 GMT"/>
  89                             </widget>
  90                           </child>
  91
  92                           <child>
  93                             <widget class="GtkMenuItem" id="file_open_data">
  94                               <property name="visible">True</property>
  95                               <property name="label" translatable="yes">_Data</property>
  96                               <property name="use_underline">True</property>
  97                             </widget>
  98                           </child>
  99                         </widget>
 100                       </child>
 101                     </widget>
 102                   </child>
 103
 104                   <child>
 105                     <widget class="GtkImageMenuItem" id="file_save">
 106                       <property name="visible">True</property>
 107                       <property name="label">gtk-save</property>
 108                       <property name="use_stock">True</property>
 109                     </widget>
 110                   </child>
 111
 112                   <child>
 113                     <widget class="GtkImageMenuItem" id="file_save_as">
 114                       <property name="visible">True</property>
 115                       <property name="label">gtk-save-as</property>
 116                       <property name="use_stock">True</property>
 117                     </widget>
 118                   </child>
 119
 120                   <child>
 121                     <widget class="GtkSeparatorMenuItem" id="separatormenuitem2">
 122                       <property name="visible">True</property>
 123                     </widget>
 124                   </child>
 125
 126                   <child>
 127                     <widget class="GtkImageMenuItem" id="file_quit">
 128                       <property name="visible">True</property>
 129                       <property name="label">gtk-quit</property>
 130                       <property name="use_stock">True</property>
 131                     </widget>
 132                   </child>
 133                 </widget>
 134               </child>
 135             </widget>
 136           </child>
 137
 138           <child>
 139             <widget class="GtkMenuItem" id="menuitem7">
 140               <property name="visible">True</property>
 141               <property name="sensitive">False</property>
 142               <property name="label" translatable="yes">_Edit</property>
 143               <property name="use_underline">True</property>
 144
 145               <child>
 146                 <widget class="GtkMenu" id="menuitem7_menu">
 147
 148                   <child>
 149                     <widget class="GtkImageMenuItem" id="cut2">
 150                       <property name="visible">True</property>
 151                       <property name="label">gtk-cut</property>
 152                       <property name="use_stock">True</property>
 153                     </widget>
 154                   </child>
 155
 156                   <child>
 157                     <widget class="GtkImageMenuItem" id="copy2">
 158                       <property name="visible">True</property>
 159                       <property name="label">gtk-copy</property>
 160                       <property name="use_stock">True</property>
 161                     </widget>
 162                   </child>
 163
 164                   <child>
 165                     <widget class="GtkImageMenuItem" id="paste2">
 166                       <property name="visible">True</property>
 167                       <property name="label">gtk-paste</property>
 168                       <property name="use_stock">True</property>
 169                     </widget>
 170                   </child>
 171
 172                   <child>
 173                     <widget class="GtkImageMenuItem" id="delete1">
 174                       <property name="visible">True</property>
 175                       <property name="label">gtk-delete</property>
 176                       <property name="use_stock">True</property>
 177                     </widget>
 178                   </child>
 179                 </widget>
 180               </child>
 181             </widget>
 182           </child>
 183
 184           <child>
 185             <widget class="GtkMenuItem" id="run1">
 186               <property name="visible">True</property>
 187               <property name="label" translatable="yes">_Run</property>
 188               <property name="use_underline">True</property>
 189
 190               <child>
 191                 <widget class="GtkMenu" id="run1_menu">
 192
 193                   <child>
 194                     <widget class="GtkMenuItem" id="run_all">
 195                       <property name="visible">True</property>
 196                       <property name="label" translatable="yes">All</property>
 197                       <property name="use_underline">True</property>
 198                     </widget>
 199                   </child>
 200
 201                   <child>
 202                     <widget class="GtkMenuItem" id="run_selection">
 203                       <property name="visible">True</property>
 204                       <property name="label" translatable="yes">Selection</property>
 205                       <property name="use_underline">True</property>
 206                     </widget>
 207                   </child>
 208
 209                   <child>
 210                     <widget class="GtkMenuItem" id="run_current_line">
 211                       <property name="visible">True</property>
 212                       <property name="label" translatable="yes">Current Line</property>
 213                       <property name="use_underline">True</property>
 214                     </widget>
 215                   </child>
 216
 217                   <child>
 218                     <widget class="GtkMenuItem" id="run_to_end">
 219                       <property name="visible">True</property>
 220                       <property name="label" translatable="yes">To End</property>
 221                       <property name="use_underline">True</property>
 222                     </widget>
 223                   </child>
 224                 </widget>
 225               </child>
 226             </widget>
 227           </child>
 228
 229           <child>
 230             <widget class="GtkMenuItem" id="windows">
 231               <property name="visible">True</property>
 232               <property name="label" translatable="yes">_Windows</property>
 233               <property name="use_underline">True</property>
 234               <signal name="activate" handler="on_windows_activate" last_modification_time="Thu, 28 Dec 2006 00:31:09 GMT"/>
 235
 236               <child>
 237                 <widget class="GtkMenu" id="windows_menu">
 238
 239                   <child>
 240                     <widget class="GtkMenuItem" id="windows_minimise_all">
 241                       <property name="visible">True</property>
 242                       <property name="label" translatable="yes">_Minimise All Windows</property>
 243                       <property name="use_underline">True</property>
 244                     </widget>
 245                   </child>
 246                 </widget>
 247               </child>
 248             </widget>
 249           </child>
 250
 251           <child>
 252             <widget class="GtkMenuItem" id="menuitem9">
 253               <property name="visible">True</property>
 254               <property name="label" translatable="yes">_Help</property>
 255               <property name="use_underline">True</property>
 256
 257               <child>
 258                 <widget class="GtkMenu" id="menuitem9_menu">
 259
 260                   <child>
 261                     <widget class="GtkMenuItem" id="help_reference">
 262                       <property name="visible">True</property>
 263                       <property name="label" translatable="yes">_Reference Manual</property>
 264                       <property name="use_underline">True</property>
 265                     </widget>
 266                   </child>
 267
 268                   <child>
 269                     <widget class="GtkMenuItem" id="help_about">
 270                       <property name="visible">True</property>
 271                       <property name="label" translatable="yes">_About</property>
 272                       <property name="use_underline">True</property>
 273                     </widget>
 274                   </child>
 275                 </widget>
 276               </child>
 277             </widget>
 278           </child>
 279         </widget>
 280         <packing>
 281           <property name="padding">0</property>
 282           <property name="expand">False</property>
 283           <property name="fill">False</property>
 284         </packing>
 285       </child>
 286
 287       <child>
 288         <widget class="GtkScrolledWindow" id="scrolledwindow8">
 289           <property name="visible">True</property>
 290           <property name="can_focus">True</property>
 291           <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 292           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 293           <property name="shadow_type">GTK_SHADOW_IN</property>
 294           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 295
 296           <child>
 297             <widget class="GtkTextView" id="syntax_text_view">
 298               <property name="visible">True</property>
 299               <property name="can_focus">True</property>
 300               <property name="editable">True</property>
 301               <property name="overwrite">False</property>
 302               <property name="accepts_tab">True</property>
 303               <property name="justification">GTK_JUSTIFY_LEFT</property>
 304               <property name="wrap_mode">GTK_WRAP_NONE</property>
 305               <property name="cursor_visible">True</property>
 306               <property name="pixels_above_lines">0</property>
 307               <property name="pixels_below_lines">0</property>
 308               <property name="pixels_inside_wrap">0</property>
 309               <property name="left_margin">0</property>
 310               <property name="right_margin">0</property>
 311               <property name="indent">0</property>
 312               <property name="text" translatable="yes"></property>
 313             </widget>
 314           </child>
 315         </widget>
 316         <packing>
 317           <property name="padding">0</property>
 318           <property name="expand">True</property>
 319           <property name="fill">True</property>
 320         </packing>
 321       </child>
 322
 323       <child>
 324         <widget class="GtkStatusbar" id="statusbar2">
 325           <property name="visible">True</property>
 326           <property name="has_resize_grip">True</property>
 327         </widget>
 328         <packing>
 329           <property name="padding">0</property>
 330           <property name="expand">False</property>
 331           <property name="fill">False</property>
 332         </packing>
 333       </child>
 334     </widget>
 335   </child>
 336 </widget>
 337
 338 </glade-interface>