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)
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)