<?xml version="1.0" encoding="ISO-8859-1"?>

<screensaver name="maze" _label="Maze">

  <command arg="-root"/>

  <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>

  <hgroup>
   <select id="ignorance">
     <option id="smart" _label="Head toward exit"/>
     <option id="dumb"  _label="Ignorant of exit direction"
             arg-set="-ignorant"/>
   </select>

   <boolean id="showfps" _label="Show frame rate" arg-set="-fps"/>
  </hgroup>

  <_description>
This generates random mazes, with three different algorithms: Kruskal,
Prim, and a depth-first recursive backtracker.  It also solves them.
Backtracking and look-ahead paths are displayed in different colors.

http://en.wikipedia.org/wiki/Maze_generation_algorithm
http://en.wikipedia.org/wiki/Maze_solving_algorithm

Written by Martin Weiss, Dave Lemke, Jim Randell, Jamie Zawinski,
Johannes Keukelaar, and Zack Weinberg; 1985.
  </_description>
</screensaver>
