was a retrograde step, as I’m sure the developers who had to choose this path thought too. I don’t mind having to set two similar preferences – we already have the ability to choose a different GTK theme preference. Where it’s necessary, I think that the “Powerful when needed” part of the KDE mantra applies here.