- <number id="delay" type="slider" arg="-solve-delay %"
- _label="Frame rate" _low-label="Low" _high-label="High"
- low="0" high="100000" default="10000"
- convert="invert"/>
-
- <number id="pre-delay" type="slider" arg="-pre-delay %"
- _label="Linger before solving"
- _low-label="0 seconds" _high-label="10 seconds"
- low="0" high="10000000" default="2000000"/>
-
- <number id="post-delay" type="slider" arg="-post-delay %"
- _label="Linger after solving"
- _low-label="0 seconds" _high-label="10 seconds"
- low="0" high="10000000" default="4000000"/>
-
- <number id="grid-size" type="spinbutton" arg="-grid-size %"
- _label="Grid size" low="0" high="100" default="0"/>
-
- <select id="generator">
- <option id="mrandom" _label="Random maze generator"/>
- <option id="m0" _label="Depth-first backtracking maze generator"
- arg-set="-generator 0"/>
- <option id="m1" _label="Wall-building maze generator (Prim)"
- arg-set="-generator 1"/>
- <option id="m2" _label="Set-joining maze generator (Kruskal)"
- arg-set="-generator 2"/>
- </select>
-