An addition to the bug "2. Zoom: no zooming effect on node editors"
> I tried, but this bug isn't easy to fix IMHO. Perhaps in a future version of SimplyHTML.
This has nothing to do with the version of SimplyHTML. This has to do with how SimplyHTML is called from FreeMind. I am using basically the same version of SimplyHTML, yet in my FreeMind the fonts are shown in SimplyHTML zoomed correctly.
The critical part is the following one in the class "EditNodeWYSIWYG":
Font font = node.getTextFont();Here, it matters that the font added to the style rules is the zoomed one.
191 // font = Tools.updateFontSize(font, this.getView().getZoom(), font.getSize());
192 final Color nodeTextBackground = node.getTextBackground();
193 rule += "font-family: "+font.getFamily()+";";
194 rule += "font-size: "+font.getSize()+"pt;";