]> git.lyx.org Git - lyx.git/blob - src/frontends/gtk/glade/paragraph.glade
Change glob() API to accept a dir parameter.
[lyx.git] / src / frontends / gtk / glade / paragraph.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="title" translatable="yes">Paragraph</property>
8   <property name="type">GTK_WINDOW_TOPLEVEL</property>
9   <property name="window_position">GTK_WIN_POS_NONE</property>
10   <property name="modal">True</property>
11   <property name="resizable">False</property>
12   <property name="destroy_with_parent">False</property>
13   <property name="decorated">True</property>
14   <property name="skip_taskbar_hint">False</property>
15   <property name="skip_pager_hint">False</property>
16   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
17   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
18   <property name="has_separator">False</property>
19
20   <child internal-child="vbox">
21     <widget class="GtkVBox" id="dialog-vbox1">
22       <property name="visible">True</property>
23       <property name="homogeneous">False</property>
24       <property name="spacing">0</property>
25
26       <child internal-child="action_area">
27         <widget class="GtkHButtonBox" id="dialog-action_area1">
28           <property name="visible">True</property>
29           <property name="layout_style">GTK_BUTTONBOX_END</property>
30
31           <child>
32             <widget class="GtkButton" id="Close">
33               <property name="visible">True</property>
34               <property name="can_default">True</property>
35               <property name="has_default">True</property>
36               <property name="can_focus">True</property>
37               <property name="label">gtk-close</property>
38               <property name="use_stock">True</property>
39               <property name="relief">GTK_RELIEF_NORMAL</property>
40               <property name="focus_on_click">True</property>
41               <property name="response_id">-7</property>
42               <accelerator key="Escape" modifiers="0" signal="clicked"/>
43             </widget>
44           </child>
45         </widget>
46         <packing>
47           <property name="padding">0</property>
48           <property name="expand">False</property>
49           <property name="fill">True</property>
50           <property name="pack_type">GTK_PACK_END</property>
51         </packing>
52       </child>
53
54       <child>
55         <widget class="GtkHBox" id="ControlBox">
56           <property name="border_width">8</property>
57           <property name="visible">True</property>
58           <property name="homogeneous">False</property>
59           <property name="spacing">0</property>
60
61           <child>
62             <widget class="GtkTable" id="table1">
63               <property name="visible">True</property>
64               <property name="n_rows">4</property>
65               <property name="n_columns">2</property>
66               <property name="homogeneous">False</property>
67               <property name="row_spacing">5</property>
68               <property name="column_spacing">4</property>
69
70               <child>
71                 <widget class="GtkLabel" id="MaxLabelWidthLabel">
72                   <property name="visible">True</property>
73                   <property name="label" translatable="yes">_Max. label width: </property>
74                   <property name="use_underline">True</property>
75                   <property name="use_markup">False</property>
76                   <property name="justify">GTK_JUSTIFY_LEFT</property>
77                   <property name="wrap">False</property>
78                   <property name="selectable">False</property>
79                   <property name="xalign">0</property>
80                   <property name="yalign">0.5</property>
81                   <property name="xpad">0</property>
82                   <property name="ypad">0</property>
83                   <property name="mnemonic_widget">MaxLabelWidth</property>
84                 </widget>
85                 <packing>
86                   <property name="left_attach">0</property>
87                   <property name="right_attach">1</property>
88                   <property name="top_attach">2</property>
89                   <property name="bottom_attach">3</property>
90                   <property name="x_options">fill</property>
91                   <property name="y_options"></property>
92                 </packing>
93               </child>
94
95               <child>
96                 <widget class="GtkEntry" id="MaxLabelWidth">
97                   <property name="visible">True</property>
98                   <property name="sensitive">False</property>
99                   <property name="can_focus">True</property>
100                   <property name="editable">True</property>
101                   <property name="visibility">True</property>
102                   <property name="max_length">0</property>
103                   <property name="text" translatable="yes"></property>
104                   <property name="has_frame">True</property>
105                   <property name="invisible_char" translatable="yes">*</property>
106                   <property name="activates_default">False</property>
107                 </widget>
108                 <packing>
109                   <property name="left_attach">1</property>
110                   <property name="right_attach">2</property>
111                   <property name="top_attach">2</property>
112                   <property name="bottom_attach">3</property>
113                   <property name="y_options"></property>
114                 </packing>
115               </child>
116
117               <child>
118                 <widget class="GtkSpinButton" id="LineSpacing">
119                   <property name="visible">True</property>
120                   <property name="sensitive">False</property>
121                   <property name="can_focus">True</property>
122                   <property name="climb_rate">1</property>
123                   <property name="digits">2</property>
124                   <property name="numeric">True</property>
125                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
126                   <property name="snap_to_ticks">False</property>
127                   <property name="wrap">False</property>
128                   <property name="adjustment">1 0 20 0.1 10 10</property>
129                 </widget>
130                 <packing>
131                   <property name="left_attach">1</property>
132                   <property name="right_attach">2</property>
133                   <property name="top_attach">0</property>
134                   <property name="bottom_attach">1</property>
135                   <property name="y_options"></property>
136                 </packing>
137               </child>
138
139               <child>
140                 <widget class="GtkCheckButton" id="DefaultLineSpacing">
141                   <property name="visible">True</property>
142                   <property name="can_focus">True</property>
143                   <property name="label" translatable="yes">Use _Default Line Spacing</property>
144                   <property name="use_underline">True</property>
145                   <property name="relief">GTK_RELIEF_NORMAL</property>
146                   <property name="focus_on_click">True</property>
147                   <property name="active">False</property>
148                   <property name="inconsistent">False</property>
149                   <property name="draw_indicator">True</property>
150                 </widget>
151                 <packing>
152                   <property name="left_attach">1</property>
153                   <property name="right_attach">2</property>
154                   <property name="top_attach">1</property>
155                   <property name="bottom_attach">2</property>
156                   <property name="x_options">fill</property>
157                   <property name="y_options"></property>
158                 </packing>
159               </child>
160
161               <child>
162                 <widget class="GtkLabel" id="label2">
163                   <property name="visible">True</property>
164                   <property name="label" translatable="yes">Line _spacing:</property>
165                   <property name="use_underline">True</property>
166                   <property name="use_markup">False</property>
167                   <property name="justify">GTK_JUSTIFY_LEFT</property>
168                   <property name="wrap">False</property>
169                   <property name="selectable">False</property>
170                   <property name="xalign">0</property>
171                   <property name="yalign">0.5</property>
172                   <property name="xpad">0</property>
173                   <property name="ypad">0</property>
174                   <property name="mnemonic_widget">LineSpacing</property>
175                 </widget>
176                 <packing>
177                   <property name="left_attach">0</property>
178                   <property name="right_attach">1</property>
179                   <property name="top_attach">0</property>
180                   <property name="bottom_attach">1</property>
181                   <property name="x_options">fill</property>
182                   <property name="y_options"></property>
183                 </packing>
184               </child>
185
186               <child>
187                 <widget class="GtkCheckButton" id="Indent">
188                   <property name="visible">True</property>
189                   <property name="can_focus">True</property>
190                   <property name="label" translatable="yes">_Indent Paragraph</property>
191                   <property name="use_underline">True</property>
192                   <property name="relief">GTK_RELIEF_NORMAL</property>
193                   <property name="focus_on_click">True</property>
194                   <property name="active">False</property>
195                   <property name="inconsistent">False</property>
196                   <property name="draw_indicator">True</property>
197                 </widget>
198                 <packing>
199                   <property name="left_attach">0</property>
200                   <property name="right_attach">1</property>
201                   <property name="top_attach">3</property>
202                   <property name="bottom_attach">4</property>
203                   <property name="y_padding">4</property>
204                   <property name="x_options">fill</property>
205                   <property name="y_options"></property>
206                 </packing>
207               </child>
208             </widget>
209             <packing>
210               <property name="padding">0</property>
211               <property name="expand">True</property>
212               <property name="fill">True</property>
213             </packing>
214           </child>
215
216           <child>
217             <widget class="GtkVSeparator" id="vseparator1">
218               <property name="visible">True</property>
219             </widget>
220             <packing>
221               <property name="padding">8</property>
222               <property name="expand">True</property>
223               <property name="fill">True</property>
224             </packing>
225           </child>
226
227           <child>
228             <widget class="GtkAlignment" id="alignment1">
229               <property name="visible">True</property>
230               <property name="xalign">0.5</property>
231               <property name="yalign">0.5</property>
232               <property name="xscale">1</property>
233               <property name="yscale">1</property>
234               <property name="top_padding">0</property>
235               <property name="bottom_padding">0</property>
236               <property name="left_padding">4</property>
237               <property name="right_padding">0</property>
238
239               <child>
240                 <widget class="GtkVBox" id="vbox2">
241                   <property name="visible">True</property>
242                   <property name="homogeneous">False</property>
243                   <property name="spacing">0</property>
244
245                   <child>
246                     <widget class="GtkLabel" id="label10">
247                       <property name="visible">True</property>
248                       <property name="label" translatable="yes">&lt;b&gt;Align&lt;/b&gt;</property>
249                       <property name="use_underline">False</property>
250                       <property name="use_markup">True</property>
251                       <property name="justify">GTK_JUSTIFY_LEFT</property>
252                       <property name="wrap">False</property>
253                       <property name="selectable">False</property>
254                       <property name="xalign">0.5</property>
255                       <property name="yalign">0.5</property>
256                       <property name="xpad">0</property>
257                       <property name="ypad">0</property>
258                     </widget>
259                     <packing>
260                       <property name="padding">2</property>
261                       <property name="expand">False</property>
262                       <property name="fill">False</property>
263                     </packing>
264                   </child>
265
266                   <child>
267                     <widget class="GtkRadioButton" id="AlignBlock">
268                       <property name="visible">True</property>
269                       <property name="can_focus">True</property>
270                       <property name="relief">GTK_RELIEF_NORMAL</property>
271                       <property name="focus_on_click">True</property>
272                       <property name="active">False</property>
273                       <property name="inconsistent">False</property>
274                       <property name="draw_indicator">True</property>
275
276                       <child>
277                         <widget class="GtkAlignment" id="alignment5">
278                           <property name="visible">True</property>
279                           <property name="xalign">0.5</property>
280                           <property name="yalign">0.5</property>
281                           <property name="xscale">0</property>
282                           <property name="yscale">0</property>
283                           <property name="top_padding">0</property>
284                           <property name="bottom_padding">0</property>
285                           <property name="left_padding">0</property>
286                           <property name="right_padding">0</property>
287
288                           <child>
289                             <widget class="GtkHBox" id="hbox5">
290                               <property name="visible">True</property>
291                               <property name="homogeneous">False</property>
292                               <property name="spacing">2</property>
293
294                               <child>
295                                 <widget class="GtkImage" id="image4">
296                                   <property name="visible">True</property>
297                                   <property name="stock">gtk-justify-fill</property>
298                                   <property name="icon_size">4</property>
299                                   <property name="xalign">0.5</property>
300                                   <property name="yalign">0.5</property>
301                                   <property name="xpad">0</property>
302                                   <property name="ypad">0</property>
303                                 </widget>
304                                 <packing>
305                                   <property name="padding">0</property>
306                                   <property name="expand">False</property>
307                                   <property name="fill">False</property>
308                                 </packing>
309                               </child>
310
311                               <child>
312                                 <widget class="GtkLabel" id="label9">
313                                   <property name="visible">True</property>
314                                   <property name="label" translatable="yes">_Justify</property>
315                                   <property name="use_underline">True</property>
316                                   <property name="use_markup">False</property>
317                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
318                                   <property name="wrap">False</property>
319                                   <property name="selectable">False</property>
320                                   <property name="xalign">0.5</property>
321                                   <property name="yalign">0.5</property>
322                                   <property name="xpad">0</property>
323                                   <property name="ypad">0</property>
324                                 </widget>
325                                 <packing>
326                                   <property name="padding">0</property>
327                                   <property name="expand">False</property>
328                                   <property name="fill">False</property>
329                                 </packing>
330                               </child>
331                             </widget>
332                           </child>
333                         </widget>
334                       </child>
335                     </widget>
336                     <packing>
337                       <property name="padding">0</property>
338                       <property name="expand">False</property>
339                       <property name="fill">False</property>
340                     </packing>
341                   </child>
342
343                   <child>
344                     <widget class="GtkRadioButton" id="AlignLeft">
345                       <property name="visible">True</property>
346                       <property name="can_focus">True</property>
347                       <property name="relief">GTK_RELIEF_NORMAL</property>
348                       <property name="focus_on_click">True</property>
349                       <property name="active">False</property>
350                       <property name="inconsistent">False</property>
351                       <property name="draw_indicator">True</property>
352                       <property name="group">AlignBlock</property>
353
354                       <child>
355                         <widget class="GtkAlignment" id="alignment2">
356                           <property name="visible">True</property>
357                           <property name="xalign">0.5</property>
358                           <property name="yalign">0.5</property>
359                           <property name="xscale">0</property>
360                           <property name="yscale">0</property>
361                           <property name="top_padding">0</property>
362                           <property name="bottom_padding">0</property>
363                           <property name="left_padding">0</property>
364                           <property name="right_padding">0</property>
365
366                           <child>
367                             <widget class="GtkHBox" id="hbox2">
368                               <property name="visible">True</property>
369                               <property name="homogeneous">False</property>
370                               <property name="spacing">2</property>
371
372                               <child>
373                                 <widget class="GtkImage" id="image1">
374                                   <property name="visible">True</property>
375                                   <property name="stock">gtk-justify-left</property>
376                                   <property name="icon_size">4</property>
377                                   <property name="xalign">0.5</property>
378                                   <property name="yalign">0.5</property>
379                                   <property name="xpad">0</property>
380                                   <property name="ypad">0</property>
381                                 </widget>
382                                 <packing>
383                                   <property name="padding">0</property>
384                                   <property name="expand">False</property>
385                                   <property name="fill">False</property>
386                                 </packing>
387                               </child>
388
389                               <child>
390                                 <widget class="GtkLabel" id="label6">
391                                   <property name="visible">True</property>
392                                   <property name="label" translatable="yes">_Left</property>
393                                   <property name="use_underline">True</property>
394                                   <property name="use_markup">False</property>
395                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
396                                   <property name="wrap">False</property>
397                                   <property name="selectable">False</property>
398                                   <property name="xalign">0.5</property>
399                                   <property name="yalign">0.5</property>
400                                   <property name="xpad">0</property>
401                                   <property name="ypad">0</property>
402                                 </widget>
403                                 <packing>
404                                   <property name="padding">0</property>
405                                   <property name="expand">False</property>
406                                   <property name="fill">False</property>
407                                 </packing>
408                               </child>
409                             </widget>
410                           </child>
411                         </widget>
412                       </child>
413                     </widget>
414                     <packing>
415                       <property name="padding">0</property>
416                       <property name="expand">False</property>
417                       <property name="fill">False</property>
418                     </packing>
419                   </child>
420
421                   <child>
422                     <widget class="GtkRadioButton" id="AlignRight">
423                       <property name="visible">True</property>
424                       <property name="can_focus">True</property>
425                       <property name="relief">GTK_RELIEF_NORMAL</property>
426                       <property name="focus_on_click">True</property>
427                       <property name="active">False</property>
428                       <property name="inconsistent">False</property>
429                       <property name="draw_indicator">True</property>
430                       <property name="group">AlignBlock</property>
431
432                       <child>
433                         <widget class="GtkAlignment" id="alignment3">
434                           <property name="visible">True</property>
435                           <property name="xalign">0.5</property>
436                           <property name="yalign">0.5</property>
437                           <property name="xscale">0</property>
438                           <property name="yscale">0</property>
439                           <property name="top_padding">0</property>
440                           <property name="bottom_padding">0</property>
441                           <property name="left_padding">0</property>
442                           <property name="right_padding">0</property>
443
444                           <child>
445                             <widget class="GtkHBox" id="hbox3">
446                               <property name="visible">True</property>
447                               <property name="homogeneous">False</property>
448                               <property name="spacing">2</property>
449
450                               <child>
451                                 <widget class="GtkImage" id="image2">
452                                   <property name="visible">True</property>
453                                   <property name="stock">gtk-justify-right</property>
454                                   <property name="icon_size">4</property>
455                                   <property name="xalign">0.5</property>
456                                   <property name="yalign">0.5</property>
457                                   <property name="xpad">0</property>
458                                   <property name="ypad">0</property>
459                                 </widget>
460                                 <packing>
461                                   <property name="padding">0</property>
462                                   <property name="expand">False</property>
463                                   <property name="fill">False</property>
464                                 </packing>
465                               </child>
466
467                               <child>
468                                 <widget class="GtkLabel" id="label7">
469                                   <property name="visible">True</property>
470                                   <property name="label" translatable="yes">_Right</property>
471                                   <property name="use_underline">True</property>
472                                   <property name="use_markup">False</property>
473                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
474                                   <property name="wrap">False</property>
475                                   <property name="selectable">False</property>
476                                   <property name="xalign">0.5</property>
477                                   <property name="yalign">0.5</property>
478                                   <property name="xpad">0</property>
479                                   <property name="ypad">0</property>
480                                 </widget>
481                                 <packing>
482                                   <property name="padding">0</property>
483                                   <property name="expand">False</property>
484                                   <property name="fill">False</property>
485                                 </packing>
486                               </child>
487                             </widget>
488                           </child>
489                         </widget>
490                       </child>
491                     </widget>
492                     <packing>
493                       <property name="padding">0</property>
494                       <property name="expand">False</property>
495                       <property name="fill">False</property>
496                     </packing>
497                   </child>
498
499                   <child>
500                     <widget class="GtkRadioButton" id="AlignCenter">
501                       <property name="visible">True</property>
502                       <property name="can_focus">True</property>
503                       <property name="relief">GTK_RELIEF_NORMAL</property>
504                       <property name="focus_on_click">True</property>
505                       <property name="active">False</property>
506                       <property name="inconsistent">False</property>
507                       <property name="draw_indicator">True</property>
508                       <property name="group">AlignBlock</property>
509
510                       <child>
511                         <widget class="GtkAlignment" id="alignment4">
512                           <property name="visible">True</property>
513                           <property name="xalign">0.5</property>
514                           <property name="yalign">0.5</property>
515                           <property name="xscale">0</property>
516                           <property name="yscale">0</property>
517                           <property name="top_padding">0</property>
518                           <property name="bottom_padding">0</property>
519                           <property name="left_padding">0</property>
520                           <property name="right_padding">0</property>
521
522                           <child>
523                             <widget class="GtkHBox" id="hbox4">
524                               <property name="visible">True</property>
525                               <property name="homogeneous">False</property>
526                               <property name="spacing">2</property>
527
528                               <child>
529                                 <widget class="GtkImage" id="image3">
530                                   <property name="visible">True</property>
531                                   <property name="stock">gtk-justify-center</property>
532                                   <property name="icon_size">4</property>
533                                   <property name="xalign">0.5</property>
534                                   <property name="yalign">0.5</property>
535                                   <property name="xpad">0</property>
536                                   <property name="ypad">0</property>
537                                 </widget>
538                                 <packing>
539                                   <property name="padding">0</property>
540                                   <property name="expand">False</property>
541                                   <property name="fill">False</property>
542                                 </packing>
543                               </child>
544
545                               <child>
546                                 <widget class="GtkLabel" id="label8">
547                                   <property name="visible">True</property>
548                                   <property name="label" translatable="yes">C_enter</property>
549                                   <property name="use_underline">True</property>
550                                   <property name="use_markup">False</property>
551                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
552                                   <property name="wrap">False</property>
553                                   <property name="selectable">False</property>
554                                   <property name="xalign">0.5</property>
555                                   <property name="yalign">0.5</property>
556                                   <property name="xpad">0</property>
557                                   <property name="ypad">0</property>
558                                 </widget>
559                                 <packing>
560                                   <property name="padding">0</property>
561                                   <property name="expand">False</property>
562                                   <property name="fill">False</property>
563                                 </packing>
564                               </child>
565                             </widget>
566                           </child>
567                         </widget>
568                       </child>
569                     </widget>
570                     <packing>
571                       <property name="padding">0</property>
572                       <property name="expand">False</property>
573                       <property name="fill">False</property>
574                     </packing>
575                   </child>
576                 </widget>
577               </child>
578             </widget>
579             <packing>
580               <property name="padding">0</property>
581               <property name="expand">True</property>
582               <property name="fill">True</property>
583             </packing>
584           </child>
585         </widget>
586         <packing>
587           <property name="padding">0</property>
588           <property name="expand">True</property>
589           <property name="fill">True</property>
590         </packing>
591       </child>
592     </widget>
593   </child>
594 </widget>
595
596 </glade-interface>