1
<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2
<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
5
<requires lib="gnome"/>
7
<widget class="GtkWindow" id="CodeGenerationPanel">
8
<property name="visible">True</property>
9
<property name="title">CodeGenerationPanel</property>
10
<property name="type">GTK_WINDOW_TOPLEVEL</property>
11
<property name="window_position">GTK_WIN_POS_NONE</property>
12
<property name="modal">False</property>
13
<property name="resizable">True</property>
14
<property name="destroy_with_parent">False</property>
15
<property name="decorated">True</property>
16
<property name="skip_taskbar_hint">False</property>
17
<property name="skip_pager_hint">False</property>
18
<property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
19
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
20
<property name="focus_on_map">True</property>
23
<widget class="GtkVBox" id="vbox62">
24
<property name="visible">True</property>
25
<property name="homogeneous">False</property>
26
<property name="spacing">12</property>
29
<widget class="GtkLabel" id="label82">
30
<property name="visible">True</property>
31
<property name="label" translatable="yes"><b>Code Generation</b></property>
32
<property name="use_underline">False</property>
33
<property name="use_markup">True</property>
34
<property name="justify">GTK_JUSTIFY_LEFT</property>
35
<property name="wrap">False</property>
36
<property name="selectable">False</property>
37
<property name="xalign">0</property>
38
<property name="yalign">0.5</property>
39
<property name="xpad">0</property>
40
<property name="ypad">0</property>
41
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
42
<property name="width_chars">-1</property>
43
<property name="single_line_mode">False</property>
44
<property name="angle">0</property>
47
<property name="padding">0</property>
48
<property name="expand">False</property>
49
<property name="fill">False</property>
54
<widget class="GtkHBox" id="hbox56">
55
<property name="visible">True</property>
56
<property name="homogeneous">False</property>
57
<property name="spacing">6</property>
60
<widget class="GtkLabel" id="label81">
61
<property name="visible">True</property>
62
<property name="label" translatable="yes"> </property>
63
<property name="use_underline">False</property>
64
<property name="use_markup">False</property>
65
<property name="justify">GTK_JUSTIFY_LEFT</property>
66
<property name="wrap">False</property>
67
<property name="selectable">False</property>
68
<property name="xalign">0.5</property>
69
<property name="yalign">0.5</property>
70
<property name="xpad">0</property>
71
<property name="ypad">0</property>
72
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
73
<property name="width_chars">-1</property>
74
<property name="single_line_mode">False</property>
75
<property name="angle">0</property>
78
<property name="padding">0</property>
79
<property name="expand">False</property>
80
<property name="fill">False</property>
85
<widget class="GtkVBox" id="vbox65">
86
<property name="visible">True</property>
87
<property name="homogeneous">False</property>
88
<property name="spacing">6</property>
91
<widget class="GtkTable" id="table7">
92
<property name="visible">True</property>
93
<property name="n_rows">3</property>
94
<property name="n_columns">2</property>
95
<property name="homogeneous">False</property>
96
<property name="row_spacing">6</property>
97
<property name="column_spacing">6</property>
100
<widget class="GtkLabel" id="label86">
101
<property name="visible">True</property>
102
<property name="label" translatable="yes">Compile _Target</property>
103
<property name="use_underline">True</property>
104
<property name="use_markup">False</property>
105
<property name="justify">GTK_JUSTIFY_LEFT</property>
106
<property name="wrap">False</property>
107
<property name="selectable">False</property>
108
<property name="xalign">0.5</property>
109
<property name="yalign">0.5</property>
110
<property name="xpad">0</property>
111
<property name="ypad">0</property>
112
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
113
<property name="width_chars">-1</property>
114
<property name="single_line_mode">False</property>
115
<property name="angle">0</property>
118
<property name="left_attach">0</property>
119
<property name="right_attach">1</property>
120
<property name="top_attach">0</property>
121
<property name="bottom_attach">1</property>
122
<property name="x_options">fill</property>
123
<property name="y_options"></property>
128
<widget class="GtkLabel" id="label87">
129
<property name="visible">True</property>
130
<property name="label" translatable="yes">Define S_ymbols</property>
131
<property name="use_underline">True</property>
132
<property name="use_markup">False</property>
133
<property name="justify">GTK_JUSTIFY_LEFT</property>
134
<property name="wrap">False</property>
135
<property name="selectable">False</property>
136
<property name="xalign">0.5</property>
137
<property name="yalign">0.5</property>
138
<property name="xpad">0</property>
139
<property name="ypad">0</property>
140
<property name="mnemonic_widget">symbolsEntry</property>
141
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
142
<property name="width_chars">-1</property>
143
<property name="single_line_mode">False</property>
144
<property name="angle">0</property>
147
<property name="left_attach">0</property>
148
<property name="right_attach">1</property>
149
<property name="top_attach">1</property>
150
<property name="bottom_attach">2</property>
151
<property name="x_options">fill</property>
152
<property name="y_options"></property>
157
<widget class="GtkLabel" id="label88">
158
<property name="visible">True</property>
159
<property name="label" translatable="yes">_Main Class</property>
160
<property name="use_underline">True</property>
161
<property name="use_markup">False</property>
162
<property name="justify">GTK_JUSTIFY_LEFT</property>
163
<property name="wrap">False</property>
164
<property name="selectable">False</property>
165
<property name="xalign">0.5</property>
166
<property name="yalign">0.5</property>
167
<property name="xpad">0</property>
168
<property name="ypad">0</property>
169
<property name="mnemonic_widget">mainClassEntry</property>
170
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
171
<property name="width_chars">-1</property>
172
<property name="single_line_mode">False</property>
173
<property name="angle">0</property>
176
<property name="left_attach">0</property>
177
<property name="right_attach">1</property>
178
<property name="top_attach">2</property>
179
<property name="bottom_attach">3</property>
180
<property name="x_options">fill</property>
181
<property name="y_options"></property>
186
<widget class="GtkEntry" id="symbolsEntry">
187
<property name="visible">True</property>
188
<property name="can_focus">True</property>
189
<property name="editable">True</property>
190
<property name="visibility">True</property>
191
<property name="max_length">0</property>
192
<property name="text" translatable="yes"></property>
193
<property name="has_frame">True</property>
194
<property name="invisible_char">*</property>
195
<property name="activates_default">False</property>
198
<property name="left_attach">1</property>
199
<property name="right_attach">2</property>
200
<property name="top_attach">1</property>
201
<property name="bottom_attach">2</property>
202
<property name="y_options"></property>
207
<widget class="GtkEntry" id="mainClassEntry">
208
<property name="visible">True</property>
209
<property name="can_focus">True</property>
210
<property name="editable">True</property>
211
<property name="visibility">True</property>
212
<property name="max_length">0</property>
213
<property name="text" translatable="yes"></property>
214
<property name="has_frame">True</property>
215
<property name="invisible_char">*</property>
216
<property name="activates_default">False</property>
219
<property name="left_attach">1</property>
220
<property name="right_attach">2</property>
221
<property name="top_attach">2</property>
222
<property name="bottom_attach">3</property>
223
<property name="y_options"></property>
228
<widget class="GtkComboBox" id="compileTargetCombo">
229
<property name="visible">True</property>
230
<property name="add_tearoffs">False</property>
231
<property name="focus_on_click">True</property>
234
<property name="left_attach">1</property>
235
<property name="right_attach">2</property>
236
<property name="top_attach">0</property>
237
<property name="bottom_attach">1</property>
238
<property name="x_options">fill</property>
239
<property name="y_options">fill</property>
244
<property name="padding">0</property>
245
<property name="expand">True</property>
246
<property name="fill">True</property>
251
<property name="padding">0</property>
252
<property name="expand">True</property>
253
<property name="fill">True</property>
258
<property name="padding">0</property>
259
<property name="expand">True</property>
260
<property name="fill">True</property>
265
<widget class="GtkLabel" id="label90">
266
<property name="visible">True</property>
267
<property name="label" translatable="yes"><b>Warnings</b></property>
268
<property name="use_underline">True</property>
269
<property name="use_markup">True</property>
270
<property name="justify">GTK_JUSTIFY_LEFT</property>
271
<property name="wrap">False</property>
272
<property name="selectable">False</property>
273
<property name="xalign">0</property>
274
<property name="yalign">0.5</property>
275
<property name="xpad">0</property>
276
<property name="ypad">0</property>
277
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
278
<property name="width_chars">-1</property>
279
<property name="single_line_mode">False</property>
280
<property name="angle">0</property>
283
<property name="padding">0</property>
284
<property name="expand">False</property>
285
<property name="fill">False</property>
290
<widget class="GtkHBox" id="hbox47">
291
<property name="visible">True</property>
292
<property name="homogeneous">False</property>
293
<property name="spacing">0</property>
296
<widget class="GtkLabel" id="label72">
297
<property name="visible">True</property>
298
<property name="label" translatable="yes"> </property>
299
<property name="use_underline">False</property>
300
<property name="use_markup">False</property>
301
<property name="justify">GTK_JUSTIFY_LEFT</property>
302
<property name="wrap">False</property>
303
<property name="selectable">False</property>
304
<property name="xalign">0.5</property>
305
<property name="yalign">0.5</property>
306
<property name="xpad">0</property>
307
<property name="ypad">0</property>
308
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
309
<property name="width_chars">-1</property>
310
<property name="single_line_mode">False</property>
311
<property name="angle">0</property>
314
<property name="padding">0</property>
315
<property name="expand">False</property>
316
<property name="fill">False</property>
321
<widget class="GtkVBox" id="vbox64">
322
<property name="visible">True</property>
323
<property name="homogeneous">False</property>
324
<property name="spacing">6</property>
327
<widget class="GtkHBox" id="hbox55">
328
<property name="visible">True</property>
329
<property name="homogeneous">False</property>
330
<property name="spacing">6</property>
333
<widget class="GtkLabel" id="label80">
334
<property name="visible">True</property>
335
<property name="label" translatable="yes">_Warning Level</property>
336
<property name="use_underline">True</property>
337
<property name="use_markup">False</property>
338
<property name="justify">GTK_JUSTIFY_LEFT</property>
339
<property name="wrap">False</property>
340
<property name="selectable">False</property>
341
<property name="xalign">0.5</property>
342
<property name="yalign">0.5</property>
343
<property name="xpad">0</property>
344
<property name="ypad">0</property>
345
<property name="mnemonic_widget">warningLevelSpinButton</property>
346
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
347
<property name="width_chars">-1</property>
348
<property name="single_line_mode">False</property>
349
<property name="angle">0</property>
352
<property name="padding">0</property>
353
<property name="expand">False</property>
354
<property name="fill">False</property>
359
<widget class="GtkSpinButton" id="warningLevelSpinButton">
360
<property name="visible">True</property>
361
<property name="can_focus">True</property>
362
<property name="climb_rate">1</property>
363
<property name="digits">0</property>
364
<property name="numeric">False</property>
365
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
366
<property name="snap_to_ticks">False</property>
367
<property name="wrap">False</property>
368
<property name="adjustment">2 0 4 1 1 1</property>
371
<property name="padding">0</property>
372
<property name="expand">False</property>
373
<property name="fill">False</property>
378
<property name="padding">0</property>
379
<property name="expand">False</property>
380
<property name="fill">False</property>
385
<widget class="GtkCheckButton" id="generateOverflowChecksCheckButton">
386
<property name="visible">True</property>
387
<property name="can_focus">True</property>
388
<property name="label" translatable="yes">_Generate overflow checks</property>
389
<property name="use_underline">True</property>
390
<property name="relief">GTK_RELIEF_NORMAL</property>
391
<property name="focus_on_click">True</property>
392
<property name="active">False</property>
393
<property name="inconsistent">False</property>
394
<property name="draw_indicator">True</property>
397
<property name="padding">0</property>
398
<property name="expand">False</property>
399
<property name="fill">False</property>
404
<widget class="GtkCheckButton" id="allowUnsafeCodeCheckButton">
405
<property name="visible">True</property>
406
<property name="can_focus">True</property>
407
<property name="label" translatable="yes">Allow '_unsafe' code</property>
408
<property name="use_underline">True</property>
409
<property name="relief">GTK_RELIEF_NORMAL</property>
410
<property name="focus_on_click">True</property>
411
<property name="active">False</property>
412
<property name="inconsistent">False</property>
413
<property name="draw_indicator">True</property>
416
<property name="padding">0</property>
417
<property name="expand">False</property>
418
<property name="fill">False</property>
423
<widget class="GtkCheckButton" id="enableOptimizationCheckButton">
424
<property name="visible">True</property>
425
<property name="can_focus">True</property>
426
<property name="label" translatable="yes">Enable _optimizations</property>
427
<property name="use_underline">True</property>
428
<property name="relief">GTK_RELIEF_NORMAL</property>
429
<property name="focus_on_click">True</property>
430
<property name="active">False</property>
431
<property name="inconsistent">False</property>
432
<property name="draw_indicator">True</property>
435
<property name="padding">0</property>
436
<property name="expand">False</property>
437
<property name="fill">False</property>
442
<widget class="GtkCheckButton" id="warningsAsErrorsCheckButton">
443
<property name="visible">True</property>
444
<property name="can_focus">True</property>
445
<property name="label" translatable="yes">Treat warnings as _errors</property>
446
<property name="use_underline">True</property>
447
<property name="relief">GTK_RELIEF_NORMAL</property>
448
<property name="focus_on_click">True</property>
449
<property name="active">False</property>
450
<property name="inconsistent">False</property>
451
<property name="draw_indicator">True</property>
454
<property name="padding">0</property>
455
<property name="expand">False</property>
456
<property name="fill">False</property>
461
<widget class="GtkCheckButton" id="generateXmlOutputCheckButton">
462
<property name="visible">True</property>
463
<property name="can_focus">True</property>
464
<property name="label" translatable="yes">Generate _xml documentation</property>
465
<property name="use_underline">True</property>
466
<property name="relief">GTK_RELIEF_NORMAL</property>
467
<property name="focus_on_click">True</property>
468
<property name="active">False</property>
469
<property name="inconsistent">False</property>
470
<property name="draw_indicator">True</property>
473
<property name="padding">0</property>
474
<property name="expand">False</property>
475
<property name="fill">False</property>
480
<property name="padding">0</property>
481
<property name="expand">True</property>
482
<property name="fill">True</property>
487
<property name="padding">0</property>
488
<property name="expand">True</property>
489
<property name="fill">True</property>