pintos-os.org Git - pspp/blob - 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="default_width">640</property>
   8   <property name="default_height">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                             </widget>
  90                           </child>
  91
  92                           <child>
  93                             <widget class="GtkMenuItem" id="file_open_data">
  94                               <property name="visible">True</property>
  95                               <property name="sensitive">False</property>
  96                               <property name="label" translatable="yes">_Data</property>
  97                               <property name="use_underline">True</property>
  98                             </widget>
  99                           </child>
 100                         </widget>
 101                       </child>
 102                     </widget>
 103                   </child>
 104
 105                   <child>
 106                     <widget class="GtkImageMenuItem" id="file_save">
 107                       <property name="visible">True</property>
 108                       <property name="label">gtk-save</property>
 109                       <property name="use_stock">True</property>
 110                     </widget>
 111                   </child>
 112
 113                   <child>
 114                     <widget class="GtkImageMenuItem" id="file_save_as">
 115                       <property name="visible">True</property>
 116                       <property name="label">gtk-save-as</property>
 117                       <property name="use_stock">True</property>
 118                     </widget>
 119                   </child>
 120
 121                   <child>
 122                     <widget class="GtkSeparatorMenuItem" id="separatormenuitem2">
 123                       <property name="visible">True</property>
 124                     </widget>
 125                   </child>
 126
 127                   <child>
 128                     <widget class="GtkImageMenuItem" id="file_quit">
 129                       <property name="visible">True</property>
 130                       <property name="label">gtk-quit</property>
 131                       <property name="use_stock">True</property>
 132                     </widget>
 133                   </child>
 134                 </widget>
 135               </child>
 136             </widget>
 137           </child>
 138
 139           <child>
 140             <widget class="GtkMenuItem" id="menuitem7">
 141               <property name="visible">False</property>
 142               <property name="sensitive">False</property>
 143               <property name="label" translatable="yes">_Edit</property>
 144               <property name="use_underline">True</property>
 145
 146               <child>
 147                 <widget class="GtkMenu" id="menuitem7_menu">
 148
 149                   <child>
 150                     <widget class="GtkImageMenuItem" id="cut2">
 151                       <property name="visible">True</property>
 152                       <property name="label">gtk-cut</property>
 153                       <property name="use_stock">True</property>
 154                     </widget>
 155                   </child>
 156
 157                   <child>
 158                     <widget class="GtkImageMenuItem" id="copy2">
 159                       <property name="visible">True</property>
 160                       <property name="label">gtk-copy</property>
 161                       <property name="use_stock">True</property>
 162                     </widget>
 163                   </child>
 164
 165                   <child>
 166                     <widget class="GtkImageMenuItem" id="paste2">
 167                       <property name="visible">True</property>
 168                       <property name="label">gtk-paste</property>
 169                       <property name="use_stock">True</property>
 170                     </widget>
 171                   </child>
 172
 173                   <child>
 174                     <widget class="GtkImageMenuItem" id="delete1">
 175                       <property name="visible">True</property>
 176                       <property name="label">gtk-delete</property>
 177                       <property name="use_stock">True</property>
 178                     </widget>
 179                   </child>
 180                 </widget>
 181               </child>
 182             </widget>
 183           </child>
 184
 185           <child>
 186             <widget class="GtkMenuItem" id="run1">
 187               <property name="visible">True</property>
 188               <property name="label" translatable="yes">_Run</property>
 189               <property name="use_underline">True</property>
 190
 191               <child>
 192                 <widget class="GtkMenu" id="run1_menu">
 193
 194                   <child>
 195                     <widget class="GtkMenuItem" id="run_all">
 196                       <property name="visible">True</property>
 197                       <property name="label" translatable="yes">All</property>
 198                       <property name="use_underline">True</property>
 199                     </widget>
 200                   </child>
 201
 202                   <child>
 203                     <widget class="GtkMenuItem" id="run_selection">
 204                       <property name="visible">True</property>
 205                       <property name="label" translatable="yes">Selection</property>
 206                       <property name="use_underline">True</property>
 207                     </widget>
 208                   </child>
 209
 210                   <child>
 211                     <widget class="GtkMenuItem" id="run_current_line">
 212                       <property name="visible">True</property>
 213                       <property name="label" translatable="yes">Current Line</property>
 214                       <property name="use_underline">True</property>
 215                       <accelerator key="R" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 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
 237               <child>
 238                 <widget class="GtkMenu" id="windows_menu">
 239
 240                   <child>
 241                     <widget class="GtkMenuItem" id="windows_minimise_all">
 242                       <property name="visible">True</property>
 243                       <property name="label" translatable="yes">_Minimize All Windows</property>
 244                       <property name="use_underline">True</property>
 245                     </widget>
 246                   </child>
 247                 </widget>
 248               </child>
 249             </widget>
 250           </child>
 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                   <child>
 260                     <widget class="GtkMenuItem" id="help_reference">
 261                       <property name="visible">True</property>
 262                       <property name="label" translatable="yes">_Reference Manual</property>
 263                       <property name="use_underline">True</property>
 264                     </widget>
 265                   </child>
 266                   <child>
 267                     <widget class="GtkMenuItem" id="help_about">
 268                       <property name="visible">True</property>
 269                       <property name="label" translatable="yes">_About</property>
 270                       <property name="use_underline">True</property>
 271                     </widget>
 272                   </child>
 273                 </widget>
 274               </child>
 275             </widget>
 276           </child>
 277         </widget>
 278         <packing>
 279           <property name="padding">0</property>
 280           <property name="expand">False</property>
 281           <property name="fill">False</property>
 282         </packing>
 283       </child>
 284
 285       <child>
 286         <widget class="GtkScrolledWindow" id="scrolledwindow8">
 287           <property name="visible">True</property>
 288           <property name="can_focus">True</property>
 289           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 290           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 291           <property name="shadow_type">GTK_SHADOW_IN</property>
 292           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 293
 294           <child>
 295             <widget class="GtkTextView" id="syntax_text_view">
 296               <property name="visible">True</property>
 297               <property name="can_focus">True</property>
 298               <property name="editable">True</property>
 299               <property name="overwrite">False</property>
 300               <property name="accepts_tab">True</property>
 301               <property name="justification">GTK_JUSTIFY_LEFT</property>
 302               <property name="wrap_mode">GTK_WRAP_NONE</property>
 303               <property name="cursor_visible">True</property>
 304               <property name="pixels_above_lines">0</property>
 305               <property name="pixels_below_lines">0</property>
 306               <property name="pixels_inside_wrap">0</property>
 307               <property name="left_margin">0</property>
 308               <property name="right_margin">0</property>
 309               <property name="indent">0</property>
 310               <property name="text" translatable="yes"></property>
 311             </widget>
 312           </child>
 313         </widget>
 314         <packing>
 315           <property name="padding">0</property>
 316           <property name="expand">True</property>
 317           <property name="fill">True</property>
 318         </packing>
 319       </child>
 320
 321       <child>
 322         <widget class="GtkStatusbar" id="statusbar2">
 323           <property name="visible">True</property>
 324           <property name="has_resize_grip">True</property>
 325         </widget>
 326         <packing>
 327           <property name="padding">0</property>
 328           <property name="expand">False</property>
 329           <property name="fill">False</property>
 330         </packing>
 331       </child>
 332     </widget>
 333   </child>
 334 </widget>
 335
 336 </glade-interface>