- <select id="mins">
- <option id="min2" _label="Minute tick marks" arg-set="-minutes"/>
- <option id="min5" _label="5 minute tick marks"/>
- </select>
+ <number id="mag" type="slider" arg="-mag %"
+ _label="Magnification" _low-label="Smaller" _high-label="Bigger"
+ low="0.1" high="4.0" default="1.0"/>
+
+ <select id="mins">
+ <option id="min2" _label="Minute tick marks" arg-set="-minutes"/>
+ <option id="min5" _label="5 minute tick marks"/>
+ </select>
+
+ <boolean id="showfps" _label="Show frame rate" arg-set="-fps"/>
+
+ </vgroup>
+ </hgroup>