mode options: add a dockable panel widget
authorAndrew Chadwick <andrewc-git@piffle.org>
Wed, 25 Sep 2013 05:21:20 +0000 (06:21 +0100)
committerAndrew Chadwick <andrewc-git@piffle.org>
Wed, 25 Sep 2013 05:26:42 +0000 (06:26 +0100)
commitbf16287e9391dece0666c711cd1c27f5a79f55e4
tree52863f2799e351010367aaeaf08caa2da983c1fc
parent1057fc67b46da7624eb0c4a7e75ca395f2a05f8d
mode options: add a dockable panel widget
gui/application.py
gui/menu.xml
gui/optionspanel.py [new file with mode: 0644]
gui/resources.xml