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="menuitem9">
 231               <property name="visible">True</property>
 232               <property name="label" translatable="yes">_Help</property>
 233               <property name="use_underline">True</property>
 234
 235               <child>
 236                 <widget class="GtkMenu" id="menuitem9_menu">
 237
 238                   <child>
 239                     <widget class="GtkMenuItem" id="help_about">
 240                       <property name="visible">True</property>
 241                       <property name="label" translatable="yes">_About</property>
 242                       <property name="use_underline">True</property>
 243                     </widget>
 244                   </child>
 245                 </widget>
 246               </child>
 247             </widget>
 248           </child>
 249         </widget>
 250         <packing>
 251           <property name="padding">0</property>
 252           <property name="expand">False</property>
 253           <property name="fill">False</property>
 254         </packing>
 255       </child>
 256
 257       <child>
 258         <widget class="GtkScrolledWindow" id="scrolledwindow8">
 259           <property name="visible">True</property>
 260           <property name="can_focus">True</property>
 261           <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 262           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 263           <property name="shadow_type">GTK_SHADOW_IN</property>
 264           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 265
 266           <child>
 267             <widget class="GtkTextView" id="syntax_text_view">
 268               <property name="visible">True</property>
 269               <property name="can_focus">True</property>
 270               <property name="editable">True</property>
 271               <property name="overwrite">False</property>
 272               <property name="accepts_tab">True</property>
 273               <property name="justification">GTK_JUSTIFY_LEFT</property>
 274               <property name="wrap_mode">GTK_WRAP_NONE</property>
 275               <property name="cursor_visible">True</property>
 276               <property name="pixels_above_lines">0</property>
 277               <property name="pixels_below_lines">0</property>
 278               <property name="pixels_inside_wrap">0</property>
 279               <property name="left_margin">0</property>
 280               <property name="right_margin">0</property>
 281               <property name="indent">0</property>
 282               <property name="text" translatable="yes"></property>
 283             </widget>
 284           </child>
 285         </widget>
 286         <packing>
 287           <property name="padding">0</property>
 288           <property name="expand">True</property>
 289           <property name="fill">True</property>
 290         </packing>
 291       </child>
 292
 293       <child>
 294         <widget class="GtkStatusbar" id="statusbar2">
 295           <property name="visible">True</property>
 296           <property name="has_resize_grip">True</property>
 297         </widget>
 298         <packing>
 299           <property name="padding">0</property>
 300           <property name="expand">False</property>
 301           <property name="fill">False</property>
 302         </packing>
 303       </child>
 304     </widget>
 305   </child>
 306 </widget>
 307
 308 </glade-interface>