I committed a modification of the font handling, with update on font change but without overriding monospace font. I also committed a change that applies the theme colours.
I committed a modification of the font handling, with update on font change but without overriding monospace font. I also committed a change that applies the theme colours.