]> git.lyx.org Git - lyx.git/blob - src/frontends/gnome/dialogs/diatoc.glade
small patch from Dekel, begin introducing the real boost framework, get rid of the...
[lyx.git] / src / frontends / gnome / dialogs / diatoc.glade
1 <?xml version="1.0"?>
2 <GTK-Interface>
3
4 <project>
5   <name>diatoc</name>
6   <program_name>diatoc</program_name>
7   <directory></directory>
8   <source_directory>src</source_directory>
9   <pixmaps_directory>pixmaps</pixmaps_directory>
10   <language>C</language>
11   <gnome_support>True</gnome_support>
12   <gettext_support>True</gettext_support>
13   <output_main_file>False</output_main_file>
14   <output_support_files>False</output_support_files>
15   <output_build_files>False</output_build_files>
16   <main_source_file>diatoc_interface.c</main_source_file>
17   <main_header_file>diatoc_interface.h</main_header_file>
18   <handler_source_file>diatoc_callbacks.c</handler_source_file>
19   <handler_header_file>diatoc_callbacks.h</handler_header_file>
20 </project>
21
22 <widget>
23   <class>GnomeDialog</class>
24   <name>DiaToc</name>
25   <border_width>2</border_width>
26   <title>Table of Contents</title>
27   <type>GTK_WINDOW_TOPLEVEL</type>
28   <position>GTK_WIN_POS_NONE</position>
29   <modal>False</modal>
30   <allow_shrink>True</allow_shrink>
31   <allow_grow>True</allow_grow>
32   <auto_shrink>False</auto_shrink>
33   <auto_close>False</auto_close>
34   <hide_on_close>False</hide_on_close>
35
36   <widget>
37     <class>GtkVBox</class>
38     <child_name>GnomeDialog:vbox</child_name>
39     <name>dialog-vbox2</name>
40     <homogeneous>False</homogeneous>
41     <spacing>8</spacing>
42     <child>
43       <padding>4</padding>
44       <expand>True</expand>
45       <fill>True</fill>
46     </child>
47
48     <widget>
49       <class>GtkHButtonBox</class>
50       <child_name>GnomeDialog:action_area</child_name>
51       <name>dialog-action_area1</name>
52       <layout_style>GTK_BUTTONBOX_END</layout_style>
53       <spacing>8</spacing>
54       <child_min_width>85</child_min_width>
55       <child_min_height>27</child_min_height>
56       <child_ipad_x>7</child_ipad_x>
57       <child_ipad_y>0</child_ipad_y>
58       <child>
59         <padding>0</padding>
60         <expand>False</expand>
61         <fill>True</fill>
62         <pack>GTK_PACK_END</pack>
63       </child>
64
65       <widget>
66         <class>GtkButton</class>
67         <name>button_refresh</name>
68         <can_default>True</can_default>
69         <can_focus>True</can_focus>
70         <label>Refresh</label>
71         <stock_pixmap>GNOME_STOCK_PIXMAP_REFRESH</stock_pixmap>
72       </widget>
73
74       <widget>
75         <class>GtkButton</class>
76         <name>button_close</name>
77         <can_default>True</can_default>
78         <can_focus>True</can_focus>
79         <stock_button>GNOME_STOCK_BUTTON_CLOSE</stock_button>
80       </widget>
81     </widget>
82
83     <widget>
84       <class>GtkVBox</class>
85       <name>vbox1</name>
86       <homogeneous>False</homogeneous>
87       <spacing>0</spacing>
88       <child>
89         <padding>0</padding>
90         <expand>True</expand>
91         <fill>True</fill>
92       </child>
93
94       <widget>
95         <class>GtkScrolledWindow</class>
96         <name>scrolledwindow</name>
97         <hscrollbar_policy>GTK_POLICY_AUTOMATIC</hscrollbar_policy>
98         <vscrollbar_policy>GTK_POLICY_AUTOMATIC</vscrollbar_policy>
99         <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
100         <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>
101         <child>
102           <padding>0</padding>
103           <expand>True</expand>
104           <fill>True</fill>
105         </child>
106
107         <widget>
108           <class>GtkViewport</class>
109           <name>viewport1</name>
110           <width>522</width>
111           <height>289</height>
112           <shadow_type>GTK_SHADOW_IN</shadow_type>
113
114           <widget>
115             <class>Placeholder</class>
116           </widget>
117         </widget>
118       </widget>
119
120       <widget>
121         <class>GtkOptionMenu</class>
122         <name>choice</name>
123         <border_width>2</border_width>
124         <can_focus>True</can_focus>
125         <items>DUMMY
126 </items>
127         <initial_choice>0</initial_choice>
128         <child>
129           <padding>0</padding>
130           <expand>False</expand>
131           <fill>False</fill>
132         </child>
133       </widget>
134     </widget>
135   </widget>
136 </widget>
137
138 </GTK-Interface>