The description to the selected gui elements are shown here

 

 

 

 

 

 

Window title bar
This strongly depends on the used window manager.

 

 

 

Button "Zoom in"
This enlarges the content of the polygon window by one step.

 

 

 

Button "Zoom out"
This shrinks the content of the polygon window by one step.

 

 

 

Button "Fit"
The content of the polygon window is scaled to fit in the window.

 

 

 

Polygon window
The unknown polygon (or parts of it) are shown here.

 

 

 

Horizontal scrollbar
Scroll the polygon window horizontically.

 

 

 

Vertical scrollbar
Scroll the polygon window vertically.

 

 

 

Information window
Here some information about the polygon are shown (number of cells, edges, holes, steps et. al.), together with information about the strategy and counter strategy.

 

 

 

Pencil mode
By dragging the mouse in the polygon window the user can draw/erase single cells

 

 

 

Rectangle mode
By dragging the mouse in the polygon window the user can draw/erase rectangular areas

 

 

 

Holes possible
If selected, a randomly generated polygon contains obstacles (holes).

 

 

 

Random polygon
This creates a random polygon.

 

 

 

Erase all
Erases the whole polygon

 

 

 

Fill holes
All obstacles (holes) are removed ('filled').

 

 

 

Goto explorer
Close the polygon editor and return to the main window