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