Let user change the colors of the editor #116
Description
For some users, the colors chosen for the syntax highlighting of the editor might be not the proper one.
Proposal to add in the colors setting the capability to change colors of the editor on top of the one for the note highlight.