Closed alewando closed 6 years ago
Adding a user-selectable lighter-colored theme. I wanted it for printing, but others may like it in general.
I forgot this pull request existed and then implemented this feature from scratch. Oops?
Closing this PR.
Adding a user-selectable lighter-colored theme. I wanted it for printing, but others may like it in general.