1 | <?xml version="1.0"?> |
---|
2 | <GTK-Interface> |
---|
3 | |
---|
4 | <project> |
---|
5 | <name>Rep-ui</name> |
---|
6 | <program_name>rep-ui</program_name> |
---|
7 | <directory></directory> |
---|
8 | <source_directory></source_directory> |
---|
9 | <pixmaps_directory>pixmaps</pixmaps_directory> |
---|
10 | <language>C</language> |
---|
11 | <gnome_support>False</gnome_support> |
---|
12 | <gettext_support>True</gettext_support> |
---|
13 | <use_widget_names>False</use_widget_names> |
---|
14 | <output_main_file>True</output_main_file> |
---|
15 | <output_support_files>True</output_support_files> |
---|
16 | <output_build_files>True</output_build_files> |
---|
17 | <backup_source_files>True</backup_source_files> |
---|
18 | <main_source_file>interface.c</main_source_file> |
---|
19 | <main_header_file>interface.h</main_header_file> |
---|
20 | <handler_source_file>callbacks.c</handler_source_file> |
---|
21 | <handler_header_file>callbacks.h</handler_header_file> |
---|
22 | <support_source_file>support.c</support_source_file> |
---|
23 | <support_header_file>support.h</support_header_file> |
---|
24 | <translatable_strings_file></translatable_strings_file> |
---|
25 | </project> |
---|
26 | |
---|
27 | <widget> |
---|
28 | <class>GtkWindow</class> |
---|
29 | <name>REP</name> |
---|
30 | <signal> |
---|
31 | <name>delete_event</name> |
---|
32 | <handler>window-closed</handler> |
---|
33 | <last_modification_time>Fri, 17 Dec 1999 23:57:34 GMT</last_modification_time> |
---|
34 | </signal> |
---|
35 | <title>REP</title> |
---|
36 | <type>GTK_WINDOW_TOPLEVEL</type> |
---|
37 | <position>GTK_WIN_POS_NONE</position> |
---|
38 | <modal>False</modal> |
---|
39 | <default_width>400</default_width> |
---|
40 | <default_height>300</default_height> |
---|
41 | <allow_shrink>False</allow_shrink> |
---|
42 | <allow_grow>True</allow_grow> |
---|
43 | <auto_shrink>False</auto_shrink> |
---|
44 | |
---|
45 | <widget> |
---|
46 | <class>GtkVBox</class> |
---|
47 | <name>vbox1</name> |
---|
48 | <homogeneous>False</homogeneous> |
---|
49 | <spacing>0</spacing> |
---|
50 | |
---|
51 | <widget> |
---|
52 | <class>GtkMenuBar</class> |
---|
53 | <name>menubar1</name> |
---|
54 | <shadow_type>GTK_SHADOW_OUT</shadow_type> |
---|
55 | <child> |
---|
56 | <padding>0</padding> |
---|
57 | <expand>False</expand> |
---|
58 | <fill>False</fill> |
---|
59 | </child> |
---|
60 | |
---|
61 | <widget> |
---|
62 | <class>GtkMenuItem</class> |
---|
63 | <name>menu-file</name> |
---|
64 | <label>_File</label> |
---|
65 | <right_justify>False</right_justify> |
---|
66 | |
---|
67 | <widget> |
---|
68 | <class>GtkMenu</class> |
---|
69 | <name>menu-file_menu</name> |
---|
70 | |
---|
71 | <widget> |
---|
72 | <class>GtkMenuItem</class> |
---|
73 | <name>menu-file-new</name> |
---|
74 | <signal> |
---|
75 | <name>activate</name> |
---|
76 | <handler>on_menu-file-new_activate</handler> |
---|
77 | <last_modification_time>Fri, 17 Dec 1999 23:53:07 GMT</last_modification_time> |
---|
78 | </signal> |
---|
79 | <label>_New</label> |
---|
80 | <right_justify>False</right_justify> |
---|
81 | </widget> |
---|
82 | |
---|
83 | <widget> |
---|
84 | <class>GtkMenuItem</class> |
---|
85 | <name>menu-file-close</name> |
---|
86 | <signal> |
---|
87 | <name>activate</name> |
---|
88 | <handler>window-closed</handler> |
---|
89 | <last_modification_time>Sat, 18 Dec 1999 00:25:26 GMT</last_modification_time> |
---|
90 | </signal> |
---|
91 | <label>_Close</label> |
---|
92 | <right_justify>False</right_justify> |
---|
93 | </widget> |
---|
94 | |
---|
95 | <widget> |
---|
96 | <class>GtkMenuItem</class> |
---|
97 | <name>menu-file-exit</name> |
---|
98 | <signal> |
---|
99 | <name>activate</name> |
---|
100 | <handler>window-closed</handler> |
---|
101 | <last_modification_time>Sat, 18 Dec 1999 00:25:40 GMT</last_modification_time> |
---|
102 | </signal> |
---|
103 | <label>_Exit</label> |
---|
104 | <right_justify>False</right_justify> |
---|
105 | </widget> |
---|
106 | </widget> |
---|
107 | </widget> |
---|
108 | |
---|
109 | <widget> |
---|
110 | <class>GtkMenuItem</class> |
---|
111 | <name>menu-help</name> |
---|
112 | <label>_Help</label> |
---|
113 | <right_justify>False</right_justify> |
---|
114 | |
---|
115 | <widget> |
---|
116 | <class>GtkMenu</class> |
---|
117 | <name>menu-help_menu</name> |
---|
118 | |
---|
119 | <widget> |
---|
120 | <class>GtkMenuItem</class> |
---|
121 | <name>menu-help-about</name> |
---|
122 | <signal> |
---|
123 | <name>activate</name> |
---|
124 | <handler>on_menu-help-about_activate</handler> |
---|
125 | <last_modification_time>Fri, 17 Dec 1999 23:53:34 GMT</last_modification_time> |
---|
126 | </signal> |
---|
127 | <label>_About</label> |
---|
128 | <right_justify>False</right_justify> |
---|
129 | </widget> |
---|
130 | </widget> |
---|
131 | </widget> |
---|
132 | </widget> |
---|
133 | |
---|
134 | <widget> |
---|
135 | <class>GtkScrolledWindow</class> |
---|
136 | <name>scrolledwindow1</name> |
---|
137 | <hscrollbar_policy>GTK_POLICY_NEVER</hscrollbar_policy> |
---|
138 | <vscrollbar_policy>GTK_POLICY_ALWAYS</vscrollbar_policy> |
---|
139 | <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy> |
---|
140 | <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy> |
---|
141 | <child> |
---|
142 | <padding>0</padding> |
---|
143 | <expand>True</expand> |
---|
144 | <fill>True</fill> |
---|
145 | </child> |
---|
146 | |
---|
147 | <widget> |
---|
148 | <class>GtkText</class> |
---|
149 | <name>text1</name> |
---|
150 | <width>400</width> |
---|
151 | <height>200</height> |
---|
152 | <tooltip>Evaluation history</tooltip> |
---|
153 | <can_focus>True</can_focus> |
---|
154 | <editable>False</editable> |
---|
155 | <text></text> |
---|
156 | </widget> |
---|
157 | </widget> |
---|
158 | |
---|
159 | <widget> |
---|
160 | <class>GtkEntry</class> |
---|
161 | <name>entry1</name> |
---|
162 | <tooltip>Form entry</tooltip> |
---|
163 | <can_focus>True</can_focus> |
---|
164 | <signal> |
---|
165 | <name>key_press_event</name> |
---|
166 | <handler>entry-key-press</handler> |
---|
167 | <last_modification_time>Sat, 18 Dec 1999 00:02:59 GMT</last_modification_time> |
---|
168 | </signal> |
---|
169 | <editable>True</editable> |
---|
170 | <text_visible>True</text_visible> |
---|
171 | <text_max_length>0</text_max_length> |
---|
172 | <text></text> |
---|
173 | <child> |
---|
174 | <padding>0</padding> |
---|
175 | <expand>False</expand> |
---|
176 | <fill>False</fill> |
---|
177 | </child> |
---|
178 | </widget> |
---|
179 | </widget> |
---|
180 | </widget> |
---|
181 | |
---|
182 | </GTK-Interface> |
---|