]> git.lyx.org Git - lyx.git/blob - src/frontends/gtk/glade/ERT.glade
Change glob() API to accept a dir parameter.
[lyx.git] / src / frontends / gtk / glade / ERT.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="visible">True</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">False</property>
12   <property name="resizable">False</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="can_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="GtkFrame" id="frame1">
56           <property name="border_width">12</property>
57           <property name="visible">True</property>
58           <property name="label_xalign">0</property>
59           <property name="label_yalign">0.5</property>
60           <property name="shadow_type">GTK_SHADOW_NONE</property>
61
62           <child>
63             <widget class="GtkAlignment" id="alignment1">
64               <property name="visible">True</property>
65               <property name="xalign">0.5</property>
66               <property name="yalign">0.5</property>
67               <property name="xscale">1</property>
68               <property name="yscale">1</property>
69               <property name="top_padding">0</property>
70               <property name="bottom_padding">0</property>
71               <property name="left_padding">12</property>
72               <property name="right_padding">0</property>
73
74               <child>
75                 <widget class="GtkVBox" id="vbox1">
76                   <property name="visible">True</property>
77                   <property name="homogeneous">False</property>
78                   <property name="spacing">0</property>
79
80                   <child>
81                     <widget class="GtkRadioButton" id="Open">
82                       <property name="visible">True</property>
83                       <property name="can_focus">True</property>
84                       <property name="label" translatable="yes">_Open</property>
85                       <property name="use_underline">True</property>
86                       <property name="relief">GTK_RELIEF_NORMAL</property>
87                       <property name="focus_on_click">True</property>
88                       <property name="active">False</property>
89                       <property name="inconsistent">False</property>
90                       <property name="draw_indicator">True</property>
91                     </widget>
92                     <packing>
93                       <property name="padding">0</property>
94                       <property name="expand">False</property>
95                       <property name="fill">False</property>
96                     </packing>
97                   </child>
98
99                   <child>
100                     <widget class="GtkRadioButton" id="Collapsed">
101                       <property name="visible">True</property>
102                       <property name="can_focus">True</property>
103                       <property name="label" translatable="yes">_Collapsed</property>
104                       <property name="use_underline">True</property>
105                       <property name="relief">GTK_RELIEF_NORMAL</property>
106                       <property name="focus_on_click">True</property>
107                       <property name="active">False</property>
108                       <property name="inconsistent">False</property>
109                       <property name="draw_indicator">True</property>
110                       <property name="group">Open</property>
111                     </widget>
112                     <packing>
113                       <property name="padding">0</property>
114                       <property name="expand">False</property>
115                       <property name="fill">False</property>
116                     </packing>
117                   </child>
118
119                   <child>
120                     <widget class="GtkRadioButton" id="Inline">
121                       <property name="visible">True</property>
122                       <property name="can_focus">True</property>
123                       <property name="label" translatable="yes">_Inline</property>
124                       <property name="use_underline">True</property>
125                       <property name="relief">GTK_RELIEF_NORMAL</property>
126                       <property name="focus_on_click">True</property>
127                       <property name="active">False</property>
128                       <property name="inconsistent">False</property>
129                       <property name="draw_indicator">True</property>
130                       <property name="group">Open</property>
131                     </widget>
132                     <packing>
133                       <property name="padding">0</property>
134                       <property name="expand">False</property>
135                       <property name="fill">False</property>
136                     </packing>
137                   </child>
138                 </widget>
139               </child>
140             </widget>
141           </child>
142
143           <child>
144             <widget class="GtkLabel" id="label1">
145               <property name="visible">True</property>
146               <property name="label" translatable="yes">&lt;b&gt;Display&lt;/b&gt;</property>
147               <property name="use_underline">False</property>
148               <property name="use_markup">True</property>
149               <property name="justify">GTK_JUSTIFY_LEFT</property>
150               <property name="wrap">False</property>
151               <property name="selectable">False</property>
152               <property name="xalign">0.5</property>
153               <property name="yalign">0.5</property>
154               <property name="xpad">0</property>
155               <property name="ypad">0</property>
156             </widget>
157             <packing>
158               <property name="type">label_item</property>
159             </packing>
160           </child>
161         </widget>
162         <packing>
163           <property name="padding">0</property>
164           <property name="expand">True</property>
165           <property name="fill">True</property>
166         </packing>
167       </child>
168     </widget>
169   </child>
170 </widget>
171
172 </glade-interface>