Comment 2 for bug 1269593

Revision history for this message
Robert Roth (evfool) wrote :

Maybe adding a radio/combobox for gui theme selection with the following options:
* Auto (Force dark app theme for Dark sourceview themes, normal theme for Light sourceview themes) (This should be the default, fixing this bug, achieving what's requested here)
* Dark (Force dark theme)
* Light (Force light theme)