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