- <boolean id="bigdots" _label="Big Dots" arg-unset="-no-bigdots"/>
- <boolean id="showfps" _label="Show Frames-per-Second" arg-set="-fps"/>
+ <number id="zoom" type="slider" arg="-zoom %"
+ _label="Dot spacing" _low-label="Close" _high-label="Far"
+ low="15" high="100" default="20"/>
+
+ <boolean id="bigdots" _label="Big dots" arg-unset="-no-bigdots"/>
+ <boolean id="showfps" _label="Show frame rate" arg-set="-fps"/>