Zim

Comment 8 for bug 230160

Revision history for this message
codemonkey (codemonkey-interthingy) wrote :

While waiting for a styles GUI editor, would it be easy to implement a way to re-load the styles without restarting the app? (Perhaps in conjunction with Ctrl-R?) If one is testing different style settings it can be quite tedious having to restart all the time.