29
29
<property name="can_focus">False</property>
30
30
<property name="title" translatable="yes">window1</property>
32
<object class="GtkNotebook" id="preferences">
32
<object class="GtkVBox" id="preferences">
33
33
<property name="visible">True</property>
34
<property name="can_focus">True</property>
34
<property name="can_focus">False</property>
35
<property name="spacing">5</property>
36
<object class="GtkVBox" id="vbox1">
37
<object class="GtkCheckButton" id="preferences:load-project-packages">
38
<property name="label" translatable="yes">Automatically load required libraries of the project</property>
37
39
<property name="visible">True</property>
38
<property name="can_focus">False</property>
39
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
41
<object class="GtkFrame" id="frame45">
42
<property name="visible">True</property>
43
<property name="can_focus">False</property>
44
<property name="label_xalign">0</property>
45
<property name="label_yalign">0</property>
46
<property name="shadow_type">none</property>
48
<object class="GtkVBox" id="vbox1118">
49
<property name="visible">True</property>
50
<property name="can_focus">False</property>
52
<object class="GtkCheckButton" id="preferences:completion-enable">
53
<property name="label" translatable="yes">Enable code completion</property>
54
<property name="visible">True</property>
55
<property name="can_focus">True</property>
56
<property name="receives_default">False</property>
57
<property name="border_width">5</property>
58
<property name="use_action_appearance">False</property>
59
<property name="use_underline">True</property>
60
<property name="draw_indicator">True</property>
63
<property name="expand">False</property>
64
<property name="fill">False</property>
65
<property name="position">0</property>
69
<object class="GtkFrame" id="frame3">
70
<property name="visible">True</property>
71
<property name="can_focus">False</property>
72
<property name="label_xalign">0</property>
73
<property name="shadow_type">none</property>
75
<object class="GtkAlignment" id="alignment3">
76
<property name="visible">True</property>
77
<property name="can_focus">False</property>
78
<property name="left_padding">12</property>
80
<object class="GtkVBox" id="vbox3">
81
<property name="visible">True</property>
82
<property name="can_focus">False</property>
84
<object class="GtkCheckButton" id="preferences:completion-space-after-func">
85
<property name="label" translatable="yes">Add a space after function call autocompletion</property>
86
<property name="visible">True</property>
87
<property name="can_focus">True</property>
88
<property name="receives_default">False</property>
89
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
90
<property name="border_width">5</property>
91
<property name="use_action_appearance">False</property>
92
<property name="draw_indicator">True</property>
95
<property name="expand">True</property>
96
<property name="fill">True</property>
97
<property name="position">0</property>
101
<object class="GtkCheckButton" id="preferences:completion-brace-after-func">
102
<property name="label" translatable="yes">Add '(' after function call autocompletion</property>
103
<property name="visible">True</property>
104
<property name="can_focus">True</property>
105
<property name="receives_default">False</property>
106
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
107
<property name="border_width">5</property>
108
<property name="use_action_appearance">False</property>
109
<property name="draw_indicator">True</property>
112
<property name="expand">True</property>
113
<property name="fill">True</property>
114
<property name="position">1</property>
118
<object class="GtkCheckButton" id="preferences:completion-closebrace-after-func">
119
<property name="label" translatable="yes">Add ')' after function call autocompletion</property>
120
<property name="visible">True</property>
121
<property name="can_focus">True</property>
122
<property name="receives_default">False</property>
123
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
124
<property name="border_width">5</property>
125
<property name="use_action_appearance">False</property>
126
<property name="draw_indicator">True</property>
129
<property name="expand">True</property>
130
<property name="fill">True</property>
131
<property name="position">2</property>
138
<child type="label_item">
143
<property name="expand">True</property>
144
<property name="fill">True</property>
145
<property name="position">1</property>
151
<object class="GtkLabel" id="label12334">
152
<property name="visible">True</property>
153
<property name="can_focus">False</property>
154
<property name="xalign">0</property>
155
<property name="yalign">0</property>
156
<property name="label" translatable="yes">Autocompletion</property>
158
<attribute name="weight" value="bold"/>
164
<property name="expand">False</property>
165
<property name="fill">False</property>
166
<property name="position">0</property>
170
<object class="GtkFrame" id="frame1">
171
<property name="visible">True</property>
172
<property name="can_focus">False</property>
173
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
174
<property name="border_width">5</property>
175
<property name="label_xalign">0</property>
176
<property name="label_yalign">0</property>
177
<property name="shadow_type">none</property>
179
<object class="GtkAlignment" id="alignment1">
180
<property name="visible">True</property>
181
<property name="can_focus">False</property>
182
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
184
<object class="GtkHBox" id="hbox1">
185
<property name="visible">True</property>
186
<property name="can_focus">False</property>
187
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
189
<object class="GtkCheckButton" id="preferences:calltip-enable">
190
<property name="label" translatable="yes">Show calltips</property>
191
<property name="visible">True</property>
192
<property name="can_focus">True</property>
193
<property name="receives_default">False</property>
194
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
195
<property name="border_width">5</property>
196
<property name="use_action_appearance">False</property>
197
<property name="draw_indicator">True</property>
200
<property name="expand">False</property>
201
<property name="fill">False</property>
202
<property name="position">0</property>
210
<object class="GtkLabel" id="label2">
211
<property name="visible">True</property>
212
<property name="can_focus">False</property>
213
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
214
<property name="label" translatable="yes">Calltips</property>
216
<attribute name="weight" value="bold"/>
222
<property name="expand">False</property>
223
<property name="fill">False</property>
224
<property name="position">1</property>
40
<property name="can_focus">True</property>
41
<property name="receives_default">False</property>
42
<property name="use_action_appearance">False</property>
43
<property name="xalign">0</property>
44
<property name="draw_indicator">True</property>
47
<property name="expand">False</property>
48
<property name="fill">False</property>
49
<property name="position">0</property>
230
<object class="GtkLabel" id="label4">
53
<object class="GtkCheckButton" id="preferences:load-libc">
54
<property name="label" translatable="yes">Load API tags for C standard library</property>
231
55
<property name="visible">True</property>
232
<property name="can_focus">False</property>
233
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
234
<property name="label" translatable="yes">Auto-complete</property>
56
<property name="can_focus">True</property>
57
<property name="receives_default">False</property>
58
<property name="use_action_appearance">False</property>
59
<property name="xalign">0</property>
60
<property name="draw_indicator">True</property>
63
<property name="expand">False</property>
64
<property name="fill">False</property>
237
65
<property name="position">1</property>
238
<property name="tab_fill">False</property>
242
<object class="GtkVBox" id="vbox4">
243
<property name="visible">True</property>
244
<property name="can_focus">False</property>
245
<property name="spacing">5</property>
247
<object class="GtkCheckButton" id="preferences:load-project-packages">
248
<property name="label" translatable="yes">Automatically load required libraries of the project</property>
249
<property name="visible">True</property>
250
<property name="can_focus">True</property>
251
<property name="receives_default">False</property>
252
<property name="use_action_appearance">False</property>
253
<property name="xalign">0</property>
254
<property name="draw_indicator">True</property>
257
<property name="expand">False</property>
258
<property name="fill">False</property>
259
<property name="position">0</property>
263
<object class="GtkCheckButton" id="preferences:load-libc">
264
<property name="label" translatable="yes">Load API tags for C standard library</property>
265
<property name="visible">True</property>
266
<property name="can_focus">True</property>
267
<property name="receives_default">False</property>
268
<property name="use_action_appearance">False</property>
269
<property name="xalign">0</property>
270
<property name="draw_indicator">True</property>
273
<property name="expand">False</property>
274
<property name="fill">False</property>
275
<property name="position">1</property>
279
<object class="GtkCheckButton" id="preferences:load-stdcpp">
280
<property name="label" translatable="yes">Load API tags for C++ standard template library</property>
281
<property name="can_focus">True</property>
282
<property name="receives_default">False</property>
283
<property name="use_action_appearance">False</property>
284
<property name="xalign">0</property>
285
<property name="draw_indicator">True</property>
288
<property name="expand">False</property>
289
<property name="fill">False</property>
290
<property name="position">2</property>
294
<object class="GtkScrolledWindow" id="scrolledwindow2">
295
<property name="visible">True</property>
296
<property name="can_focus">True</property>
297
<property name="shadow_type">in</property>
299
<object class="AnjutaPkgConfigChooser" id="pkg_config_chooser1">
300
<property name="visible">True</property>
301
<property name="can_focus">True</property>
302
<property name="headers_visible">False</property>
303
<property name="headers_clickable">False</property>
304
<property name="search_column">0</property>
305
<child internal-child="selection">
306
<object class="GtkTreeSelection" id="treeview-selection"/>
312
<property name="expand">True</property>
313
<property name="fill">True</property>
314
<property name="position">3</property>
69
<object class="GtkCheckButton" id="preferences:load-stdcpp">
70
<property name="label" translatable="yes">Load API tags for C++ standard template library</property>
71
<property name="can_focus">True</property>
72
<property name="receives_default">False</property>
73
<property name="use_action_appearance">False</property>
74
<property name="xalign">0</property>
75
<property name="draw_indicator">True</property>
78
<property name="expand">False</property>
79
<property name="fill">False</property>
319
80
<property name="position">2</property>
323
<object class="GtkLabel" id="label1">
84
<object class="GtkScrolledWindow" id="scrolledwindow2">
324
85
<property name="visible">True</property>
325
<property name="can_focus">False</property>
326
<property name="label" translatable="yes">API Tags (C/C++)</property>
86
<property name="can_focus">True</property>
87
<property name="shadow_type">in</property>
89
<object class="AnjutaPkgConfigChooser" id="pkg_config_chooser1">
90
<property name="visible">True</property>
91
<property name="can_focus">True</property>
92
<property name="headers_visible">False</property>
93
<property name="headers_clickable">False</property>
94
<property name="search_column">0</property>
95
<child internal-child="selection">
96
<object class="GtkTreeSelection" id="treeview-selection"/>
329
<property name="position">1</property>
330
<property name="tab_fill">False</property>
102
<property name="expand">True</property>
103
<property name="fill">True</property>
104
<property name="position">3</property>