3 ###################################################
5 ## This block should not appear in the tree.
6 ###################################################
9 <name>Preferences</name>
10 <key>preferences</key>
14 <name>Prefs File</name>
20 <name>Window Prefix</name>
21 <key>window_prefix</key>
26 <name>File Open</name>
32 <name>Files Open</name>
38 <name>Window Size</name>
39 <key>window_size</key>
40 <type>int_vector</type>
44 <name>Snap to Grid</name>
45 <key>snap_to_grid</key>
58 <name>Grid Size</name>
63 <name>10 pixels</name>
67 <name>20 pixels</name>
71 <name>50 pixels</name>
75 <name>100 pixels</name>
80 <name>Show Grid</name>
93 <!-- Appearance Prefs -->
95 <name>Show Params Labels</name>
96 <key>show_params</key>
110 <name>Restore Open Files</name>
111 <key>restore_files</key>
124 <name>Reports Window Position</name>
125 <key>reports_window_position</key>
129 <name>Blocks Window Position</name>
130 <key>blocks_window_position</key>