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 Henning Blohm almost 12 years ago
- Subject changed from improve visuals of gui to GUI improvements
Also: F10 doesn't work.
Updated by Henning Blohm almost 12 years ago
- Status changed from In Progress to Resolved
Theme switching de-prioritized. Otherwise done.