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>File Open</name>
26 <name>Files Open</name>
32 <name>Window Size</name>
33 <key>window_size</key>
34 <value>800, 600</value>
35 <type>int_vector</type>
39 <name>Snap to Grid</name>
40 <key>snap_to_grid</key>
53 <name>Grid Size</name>
58 <name>10 pixels</name>
62 <name>20 pixels</name>
66 <name>50 pixels</name>
70 <name>100 pixels</name>
75 <name>Show Grid</name>
88 <!-- Appearance Prefs -->
90 <name>Show Reports Window</name>
91 <key>show_reports</key>
104 <name>Show Params Labels</name>
105 <key>show_params</key>
118 <name>Show ID Label</name>
133 <name>Restore Open Files</name>
134 <key>restore_files</key>