The new color scheme is great! Very good job, Stefano!
I was about to merge this, but given that this isn't a minor color change, I'd love to see the old scheme still being an option to choose in the settings. We have quite a lot of themes anyway and the old one is probably better than a lot of them, at least in my opinion.
So what do you think about readding it with another name?
The new color scheme is great! Very good job, Stefano!
I was about to merge this, but given that this isn't a minor color change, I'd love to see the old scheme still being an option to choose in the settings. We have quite a lot of themes anyway and the old one is probably better than a lot of them, at least in my opinion.
So what do you think about readding it with another name?