]> git.lyx.org Git - lyx.git/blob - src/frontends/gtk/glade/changes.glade
Change glob() API to accept a dir parameter.
[lyx.git] / src / frontends / gtk / glade / changes.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="GtkDialog" id="dialog">
7   <property name="border_width">6</property>
8   <property name="title" translatable="yes">dialog1</property>
9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
10   <property name="window_position">GTK_WIN_POS_NONE</property>
11   <property name="modal">True</property>
12   <property name="resizable">True</property>
13   <property name="destroy_with_parent">False</property>
14   <property name="decorated">True</property>
15   <property name="skip_taskbar_hint">False</property>
16   <property name="skip_pager_hint">False</property>
17   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
18   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
19   <property name="has_separator">False</property>
20
21   <child internal-child="vbox">
22     <widget class="GtkVBox" id="dialog-vbox1">
23       <property name="visible">True</property>
24       <property name="homogeneous">False</property>
25       <property name="spacing">0</property>
26
27       <child internal-child="action_area">
28         <widget class="GtkHButtonBox" id="dialog-action_area1">
29           <property name="visible">True</property>
30           <property name="layout_style">GTK_BUTTONBOX_END</property>
31
32           <child>
33             <widget class="GtkButton" id="Close">
34               <property name="visible">True</property>
35               <property name="tooltip" translatable="yes">Abort merge</property>
36               <property name="can_default">True</property>
37               <property name="can_focus">True</property>
38               <property name="label">gtk-close</property>
39               <property name="use_stock">True</property>
40               <property name="relief">GTK_RELIEF_NORMAL</property>
41               <property name="focus_on_click">True</property>
42               <property name="response_id">-7</property>
43             </widget>
44           </child>
45
46           <child>
47             <widget class="GtkButton" id="Next">
48               <property name="visible">True</property>
49               <property name="tooltip" translatable="yes">Ignore this change and proceed to the next</property>
50               <property name="can_default">True</property>
51               <property name="can_focus">True</property>
52               <property name="relief">GTK_RELIEF_NORMAL</property>
53               <property name="focus_on_click">True</property>
54               <property name="response_id">0</property>
55
56               <child>
57                 <widget class="GtkAlignment" id="alignment8">
58                   <property name="visible">True</property>
59                   <property name="xalign">0.5</property>
60                   <property name="yalign">0.5</property>
61                   <property name="xscale">0</property>
62                   <property name="yscale">0</property>
63                   <property name="top_padding">0</property>
64                   <property name="bottom_padding">0</property>
65                   <property name="left_padding">0</property>
66                   <property name="right_padding">0</property>
67
68                   <child>
69                     <widget class="GtkHBox" id="hbox13">
70                       <property name="visible">True</property>
71                       <property name="homogeneous">False</property>
72                       <property name="spacing">2</property>
73
74                       <child>
75                         <widget class="GtkImage" id="image10">
76                           <property name="visible">True</property>
77                           <property name="stock">gtk-go-forward</property>
78                           <property name="icon_size">4</property>
79                           <property name="xalign">0.5</property>
80                           <property name="yalign">0.5</property>
81                           <property name="xpad">0</property>
82                           <property name="ypad">0</property>
83                         </widget>
84                         <packing>
85                           <property name="padding">0</property>
86                           <property name="expand">False</property>
87                           <property name="fill">False</property>
88                         </packing>
89                       </child>
90
91                       <child>
92                         <widget class="GtkLabel" id="label14">
93                           <property name="visible">True</property>
94                           <property name="label" translatable="yes">_Next</property>
95                           <property name="use_underline">True</property>
96                           <property name="use_markup">False</property>
97                           <property name="justify">GTK_JUSTIFY_LEFT</property>
98                           <property name="wrap">False</property>
99                           <property name="selectable">False</property>
100                           <property name="xalign">0.5</property>
101                           <property name="yalign">0.5</property>
102                           <property name="xpad">0</property>
103                           <property name="ypad">0</property>
104                         </widget>
105                         <packing>
106                           <property name="padding">0</property>
107                           <property name="expand">False</property>
108                           <property name="fill">False</property>
109                         </packing>
110                       </child>
111                     </widget>
112                   </child>
113                 </widget>
114               </child>
115             </widget>
116           </child>
117
118           <child>
119             <widget class="GtkButton" id="Reject">
120               <property name="visible">True</property>
121               <property name="tooltip" translatable="yes">Reject this change</property>
122               <property name="can_default">True</property>
123               <property name="can_focus">True</property>
124               <property name="relief">GTK_RELIEF_NORMAL</property>
125               <property name="focus_on_click">True</property>
126               <property name="response_id">-6</property>
127
128               <child>
129                 <widget class="GtkAlignment" id="alignment4">
130                   <property name="visible">True</property>
131                   <property name="xalign">0.5</property>
132                   <property name="yalign">0.5</property>
133                   <property name="xscale">0</property>
134                   <property name="yscale">0</property>
135                   <property name="top_padding">0</property>
136                   <property name="bottom_padding">0</property>
137                   <property name="left_padding">0</property>
138                   <property name="right_padding">0</property>
139
140                   <child>
141                     <widget class="GtkHBox" id="hbox7">
142                       <property name="visible">True</property>
143                       <property name="homogeneous">False</property>
144                       <property name="spacing">2</property>
145
146                       <child>
147                         <widget class="GtkImage" id="image4">
148                           <property name="visible">True</property>
149                           <property name="stock">gtk-no</property>
150                           <property name="icon_size">4</property>
151                           <property name="xalign">0.5</property>
152                           <property name="yalign">0.5</property>
153                           <property name="xpad">0</property>
154                           <property name="ypad">0</property>
155                         </widget>
156                         <packing>
157                           <property name="padding">0</property>
158                           <property name="expand">False</property>
159                           <property name="fill">False</property>
160                         </packing>
161                       </child>
162
163                       <child>
164                         <widget class="GtkLabel" id="label8">
165                           <property name="visible">True</property>
166                           <property name="label" translatable="yes">_Reject</property>
167                           <property name="use_underline">True</property>
168                           <property name="use_markup">False</property>
169                           <property name="justify">GTK_JUSTIFY_LEFT</property>
170                           <property name="wrap">False</property>
171                           <property name="selectable">False</property>
172                           <property name="xalign">0.5</property>
173                           <property name="yalign">0.5</property>
174                           <property name="xpad">0</property>
175                           <property name="ypad">0</property>
176                         </widget>
177                         <packing>
178                           <property name="padding">0</property>
179                           <property name="expand">False</property>
180                           <property name="fill">False</property>
181                         </packing>
182                       </child>
183                     </widget>
184                   </child>
185                 </widget>
186               </child>
187             </widget>
188           </child>
189
190           <child>
191             <widget class="GtkButton" id="Accept">
192               <property name="visible">True</property>
193               <property name="tooltip" translatable="yes">Accept the change highlighted in the main window</property>
194               <property name="can_default">True</property>
195               <property name="can_focus">True</property>
196               <property name="relief">GTK_RELIEF_NORMAL</property>
197               <property name="focus_on_click">True</property>
198               <property name="response_id">0</property>
199
200               <child>
201                 <widget class="GtkAlignment" id="alignment5">
202                   <property name="visible">True</property>
203                   <property name="xalign">0.5</property>
204                   <property name="yalign">0.5</property>
205                   <property name="xscale">0</property>
206                   <property name="yscale">0</property>
207                   <property name="top_padding">0</property>
208                   <property name="bottom_padding">0</property>
209                   <property name="left_padding">0</property>
210                   <property name="right_padding">0</property>
211
212                   <child>
213                     <widget class="GtkHBox" id="hbox10">
214                       <property name="visible">True</property>
215                       <property name="homogeneous">False</property>
216                       <property name="spacing">2</property>
217
218                       <child>
219                         <widget class="GtkImage" id="image7">
220                           <property name="visible">True</property>
221                           <property name="stock">gtk-yes</property>
222                           <property name="icon_size">4</property>
223                           <property name="xalign">0.5</property>
224                           <property name="yalign">0.5</property>
225                           <property name="xpad">0</property>
226                           <property name="ypad">0</property>
227                         </widget>
228                         <packing>
229                           <property name="padding">0</property>
230                           <property name="expand">False</property>
231                           <property name="fill">False</property>
232                         </packing>
233                       </child>
234
235                       <child>
236                         <widget class="GtkLabel" id="label11">
237                           <property name="visible">True</property>
238                           <property name="label" translatable="yes">_Accept</property>
239                           <property name="use_underline">True</property>
240                           <property name="use_markup">False</property>
241                           <property name="justify">GTK_JUSTIFY_LEFT</property>
242                           <property name="wrap">False</property>
243                           <property name="selectable">False</property>
244                           <property name="xalign">0.5</property>
245                           <property name="yalign">0.5</property>
246                           <property name="xpad">0</property>
247                           <property name="ypad">0</property>
248                         </widget>
249                         <packing>
250                           <property name="padding">0</property>
251                           <property name="expand">False</property>
252                           <property name="fill">False</property>
253                         </packing>
254                       </child>
255                     </widget>
256                   </child>
257                 </widget>
258               </child>
259             </widget>
260           </child>
261         </widget>
262         <packing>
263           <property name="padding">0</property>
264           <property name="expand">False</property>
265           <property name="fill">True</property>
266           <property name="pack_type">GTK_PACK_END</property>
267         </packing>
268       </child>
269
270       <child>
271         <widget class="GtkHBox" id="hbox9">
272           <property name="visible">True</property>
273           <property name="homogeneous">False</property>
274           <property name="spacing">0</property>
275
276           <child>
277             <widget class="GtkImage" id="image6">
278               <property name="visible">True</property>
279               <property name="stock">gtk-dialog-question</property>
280               <property name="icon_size">6</property>
281               <property name="xalign">0.5</property>
282               <property name="yalign">0.5</property>
283               <property name="xpad">6</property>
284               <property name="ypad">0</property>
285             </widget>
286             <packing>
287               <property name="padding">0</property>
288               <property name="expand">False</property>
289               <property name="fill">True</property>
290             </packing>
291           </child>
292
293           <child>
294             <widget class="GtkVBox" id="vbox1">
295               <property name="visible">True</property>
296               <property name="homogeneous">False</property>
297               <property name="spacing">0</property>
298
299               <child>
300                 <widget class="GtkVBox" id="vbox2">
301                   <property name="visible">True</property>
302                   <property name="homogeneous">False</property>
303                   <property name="spacing">0</property>
304
305                   <child>
306                     <widget class="GtkLabel" id="Message">
307                       <property name="visible">True</property>
308                       <property name="label" translatable="yes">&lt;b&gt;&lt;big&gt;Accept highlighted change?&lt;/big&gt;&lt;/b&gt;
309
310 Changed by &lt;b&gt;A Person&lt;/b&gt; on &lt;b&gt;4th July&lt;/b&gt;</property>
311                       <property name="use_underline">False</property>
312                       <property name="use_markup">True</property>
313                       <property name="justify">GTK_JUSTIFY_LEFT</property>
314                       <property name="wrap">False</property>
315                       <property name="selectable">False</property>
316                       <property name="xalign">0</property>
317                       <property name="yalign">0.5</property>
318                       <property name="xpad">0</property>
319                       <property name="ypad">0</property>
320                     </widget>
321                     <packing>
322                       <property name="padding">4</property>
323                       <property name="expand">False</property>
324                       <property name="fill">False</property>
325                     </packing>
326                   </child>
327                 </widget>
328                 <packing>
329                   <property name="padding">0</property>
330                   <property name="expand">True</property>
331                   <property name="fill">True</property>
332                 </packing>
333               </child>
334             </widget>
335             <packing>
336               <property name="padding">0</property>
337               <property name="expand">True</property>
338               <property name="fill">True</property>
339             </packing>
340           </child>
341         </widget>
342         <packing>
343           <property name="padding">0</property>
344           <property name="expand">True</property>
345           <property name="fill">True</property>
346         </packing>
347       </child>
348     </widget>
349   </child>
350 </widget>
351
352 </glade-interface>