Feature #963
GUI improvements
Start date:
29.12.2012
Due date:
% Done:
0%
Estimated time:
origin:
Description
in particular:
- fatal error should leave console log open and all else unresponsive
- Theme should look more modern (or choosable with platform theme as default)
Updated by