Closed alessaba closed 6 years ago
Sorry for the double purpose commit. I should have done 2 separate pull requests :-( It includes both font size and dark mode. Is it a problem?
That's ok
Added the ability to change theme without restarting 👍
Thanks!
Added a simple font size chooser. Sorry but the default size looked ridiculous to me.