3 <requires lib=
"gtk+" version=
"2.16"/>
4 <!-- interface-naming-policy toplevel-contextual -->
5 <object class=
"GtkWindow" id=
"symbol_db_pref_window">
6 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
8 <object class=
"GtkVBox" id=
"symbol_prefs">
9 <property name=
"visible">True
</property>
10 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
11 <property name=
"spacing">1</property>
13 <object class=
"GtkFrame" id=
"frame1">
14 <property name=
"visible">True
</property>
15 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
16 <property name=
"label_xalign">0</property>
17 <property name=
"shadow_type">none
</property>
19 <object class=
"GtkAlignment" id=
"alignment1">
20 <property name=
"visible">True
</property>
21 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
22 <property name=
"left_padding">12</property>
24 <object class=
"GtkVBox" id=
"vbox1">
25 <property name=
"visible">True
</property>
26 <property name=
"orientation">vertical
</property>
31 <object class=
"GtkHBox" id=
"hbox4">
32 <property name=
"visible">True
</property>
34 <object class=
"GtkCheckButton" id=
"preferences_toggle:bool:1:1:symboldb-parallel-scan">
35 <property name=
"label" translatable=
"yes">Parallel scan of project and global symbols
</property>
36 <property name=
"visible">True
</property>
37 <property name=
"can_focus">True
</property>
38 <property name=
"receives_default">False
</property>
39 <property name=
"has_tooltip">True
</property>
40 <property name=
"tooltip_text" translatable=
"yes">This option means that the global system packages will be scanned simultaneously with the project's ones
</property>
41 <property name=
"draw_indicator">True
</property>
44 <property name=
"position">0</property>
49 <property name=
"position">2</property>
53 <object class=
"GtkHBox" id=
"hbox5">
54 <property name=
"visible">True
</property>
56 <object class=
"GtkCheckButton" id=
"preferences_toggle:bool:1:1:symboldb-buffer-update">
57 <property name=
"label" translatable=
"yes">Automatically update symbols without saving file
</property>
58 <property name=
"visible">True
</property>
59 <property name=
"can_focus">True
</property>
60 <property name=
"receives_default">False
</property>
61 <property name=
"has_tooltip">True
</property>
62 <property name=
"tooltip_text" translatable=
"yes">Automatically update the file's symbols without saving. The update occurs after
10 seconds without keypresses by the user.
</property>
63 <property name=
"active">True
</property>
64 <property name=
"draw_indicator">True
</property>
67 <property name=
"pack_type">end
</property>
68 <property name=
"position">1</property>
73 <property name=
"position">3</property>
81 <object class=
"GtkLabel" id=
"label1">
82 <property name=
"visible">True
</property>
83 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
84 <property name=
"label" translatable=
"yes">Global
</property>
86 <attribute name=
"weight" value=
"bold"/>
92 <property name=
"expand">False
</property>
93 <property name=
"padding">5</property>
94 <property name=
"position">0</property>