Fabian Müller e9c16cf709 Implemented a dialog for editing the map labels in the editor. ...

Changes to the side menu generation:
Shows the correct side numbers and names,
sadly the default for a side name is "1".

2012-07-22 16:29:09 +00:00

..

default

Implemented a dialog for editing the map labels in the editor.

2012-07-22 16:29:09 +00:00

default.cfg

…

schema.cfg

Add a new matrix widget.

2012-05-28 08:52:47 +00:00