Replaced the glade definition of about dialog with a C one.
[pspp] / 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="GtkMenuBar" id="menubar2">
7           <property name="visible">True</property>
8           <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
9           <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
10
11           <child>
12             <widget class="GtkMenuItem" id="menu_syntax_file">
13               <property name="visible">True</property>
14               <property name="label" translatable="yes">_File</property>
15               <property name="use_underline">True</property>
16
17               <child>
18                 <widget class="GtkMenu" id="menu_syntax_file_menu">
19
20                   <child>
21                     <widget class="GtkImageMenuItem" id="new2">
22                       <property name="visible">True</property>
23                       <property name="label">gtk-new</property>
24                       <property name="use_stock">True</property>
25
26                       <child>
27                         <widget class="GtkMenu" id="new2_menu">
28
29                           <child>
30                             <widget class="GtkMenuItem" id="file_new_syntax">
31                               <property name="visible">True</property>
32                               <property name="label" translatable="yes">_Syntax</property>
33                               <property name="use_underline">True</property>
34                             </widget>
35                           </child>
36
37                           <child>
38                             <widget class="GtkMenuItem" id="file_new_data">
39                               <property name="visible">True</property>
40                               <property name="sensitive">False</property>
41                               <property name="label" translatable="yes">_Data</property>
42                               <property name="use_underline">True</property>
43                             </widget>
44                           </child>
45                         </widget>
46                       </child>
47                     </widget>
48                   </child>
49
50                   <child>
51                     <widget class="GtkImageMenuItem" id="open2">
52                       <property name="visible">True</property>
53                       <property name="label">gtk-open</property>
54                       <property name="use_stock">True</property>
55
56                       <child>
57                         <widget class="GtkMenu" id="open2_menu">
58
59                           <child>
60                             <widget class="GtkMenuItem" id="file_open_syntax">
61                               <property name="visible">True</property>
62                               <property name="label" translatable="yes">_Syntax</property>
63                               <property name="use_underline">True</property>
64                             </widget>
65                           </child>
66
67                           <child>
68                             <widget class="GtkMenuItem" id="file_open_data">
69                               <property name="visible">True</property>
70                               <property name="sensitive">False</property>
71                               <property name="label" translatable="yes">_Data</property>
72                               <property name="use_underline">True</property>
73                             </widget>
74                           </child>
75                         </widget>
76                       </child>
77                     </widget>
78                   </child>
79
80                   <child>
81                     <widget class="GtkImageMenuItem" id="file_save">
82                       <property name="visible">True</property>
83                       <property name="label">gtk-save</property>
84                       <property name="use_stock">True</property>
85                     </widget>
86                   </child>
87
88                   <child>
89                     <widget class="GtkImageMenuItem" id="file_save_as">
90                       <property name="visible">True</property>
91                       <property name="label">gtk-save-as</property>
92                       <property name="use_stock">True</property>
93                     </widget>
94                   </child>
95
96                   <child>
97                     <widget class="GtkSeparatorMenuItem" id="separatormenuitem2">
98                       <property name="visible">True</property>
99                     </widget>
100                   </child>
101
102                   <child>
103                     <widget class="GtkImageMenuItem" id="file_quit">
104                       <property name="visible">True</property>
105                       <property name="label">gtk-quit</property>
106                       <property name="use_stock">True</property>
107                     </widget>
108                   </child>
109                 </widget>
110               </child>
111             </widget>
112           </child>
113
114           <child>
115             <widget class="GtkMenuItem" id="menuitem7">
116               <property name="visible">False</property>
117               <property name="sensitive">False</property>
118               <property name="label" translatable="yes">_Edit</property>
119               <property name="use_underline">True</property>
120
121               <child>
122                 <widget class="GtkMenu" id="menuitem7_menu">
123
124                   <child>
125                     <widget class="GtkImageMenuItem" id="cut2">
126                       <property name="visible">True</property>
127                       <property name="label">gtk-cut</property>
128                       <property name="use_stock">True</property>
129                     </widget>
130                   </child>
131
132                   <child>
133                     <widget class="GtkImageMenuItem" id="copy2">
134                       <property name="visible">True</property>
135                       <property name="label">gtk-copy</property>
136                       <property name="use_stock">True</property>
137                     </widget>
138                   </child>
139
140                   <child>
141                     <widget class="GtkImageMenuItem" id="paste2">
142                       <property name="visible">True</property>
143                       <property name="label">gtk-paste</property>
144                       <property name="use_stock">True</property>
145                     </widget>
146                   </child>
147
148                   <child>
149                     <widget class="GtkImageMenuItem" id="delete1">
150                       <property name="visible">True</property>
151                       <property name="label">gtk-delete</property>
152                       <property name="use_stock">True</property>
153                     </widget>
154                   </child>
155                 </widget>
156               </child>
157             </widget>
158           </child>
159
160           <child>
161             <widget class="GtkMenuItem" id="run1">
162               <property name="visible">True</property>
163               <property name="label" translatable="yes">_Run</property>
164               <property name="use_underline">True</property>
165
166               <child>
167                 <widget class="GtkMenu" id="run1_menu">
168
169                   <child>
170                     <widget class="GtkMenuItem" id="run_all">
171                       <property name="visible">True</property>
172                       <property name="label" translatable="yes">All</property>
173                       <property name="use_underline">True</property>
174                     </widget>
175                   </child>
176
177                   <child>
178                     <widget class="GtkMenuItem" id="run_selection">
179                       <property name="visible">True</property>
180                       <property name="label" translatable="yes">Selection</property>
181                       <property name="use_underline">True</property>
182                     </widget>
183                   </child>
184
185                   <child>
186                     <widget class="GtkMenuItem" id="run_current_line">
187                       <property name="visible">True</property>
188                       <property name="label" translatable="yes">Current Line</property>
189                       <property name="use_underline">True</property>
190                       <accelerator key="R" modifiers="GDK_CONTROL_MASK" signal="activate"/>
191                     </widget>
192                   </child>
193
194                   <child>
195                     <widget class="GtkMenuItem" id="run_to_end">
196                       <property name="visible">True</property>
197                       <property name="label" translatable="yes">To End</property>
198                       <property name="use_underline">True</property>
199                     </widget>
200                   </child>
201                 </widget>
202               </child>
203             </widget>
204           </child>
205
206           <child>
207             <widget class="GtkMenuItem" id="windows">
208               <property name="visible">True</property>
209               <property name="label" translatable="yes">_Windows</property>
210               <property name="use_underline">True</property>
211
212               <child>
213                 <widget class="GtkMenu" id="windows_menu">
214
215                   <child>
216                     <widget class="GtkMenuItem" id="windows_minimise_all">
217                       <property name="visible">True</property>
218                       <property name="label" translatable="yes">_Minimize All Windows</property>
219                       <property name="use_underline">True</property>
220                     </widget>
221                   </child>
222                 </widget>
223               </child>
224             </widget>
225           </child>
226           <child>
227             <widget class="GtkMenuItem" id="menuitem9">
228               <property name="visible">True</property>
229               <property name="label" translatable="yes">_Help</property>
230               <property name="use_underline">True</property>
231
232               <child>
233                 <widget class="GtkMenu" id="menuitem9_menu">
234                   <child>
235                     <widget class="GtkMenuItem" id="help_reference">
236                       <property name="visible">True</property>
237                       <property name="label" translatable="yes">_Reference Manual</property>
238                       <property name="use_underline">True</property>
239                     </widget>
240                   </child>
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
254
255         <widget class="GtkScrolledWindow" id="scrolledwindow8">
256           <property name="visible">True</property>
257           <property name="can_focus">True</property>
258           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
259           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
260           <property name="shadow_type">GTK_SHADOW_IN</property>
261           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
262
263           <child>
264             <widget class="GtkTextView" id="syntax_text_view">
265               <property name="visible">True</property>
266               <property name="can_focus">True</property>
267               <property name="editable">True</property>
268               <property name="overwrite">False</property>
269               <property name="accepts_tab">True</property>
270               <property name="justification">GTK_JUSTIFY_LEFT</property>
271               <property name="wrap_mode">GTK_WRAP_NONE</property>
272               <property name="cursor_visible">True</property>
273               <property name="pixels_above_lines">0</property>
274               <property name="pixels_below_lines">0</property>
275               <property name="pixels_inside_wrap">0</property>
276               <property name="left_margin">0</property>
277               <property name="right_margin">0</property>
278               <property name="indent">0</property>
279               <property name="text" translatable="yes"></property>
280             </widget>
281           </child>
282         </widget>
283
284         <widget class="GtkStatusbar" id="statusbar2">
285           <property name="visible">True</property>
286           <property name="has_resize_grip">True</property>
287         </widget>
288
289 </glade-interface>