Use jEditor 0.4.25
Use MDIUtilities 0.9.51
Handle many new HTML escaped characters
Allow to specify the font family in the "font" element
Allow to specify the font size with one of the HTML font size names
Last edit: Hervé Girod 2019-01-06
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Use jEditor 0.4.25
Use MDIUtilities 0.9.51
Handle many new HTML escaped characters
Allow to specify the font family in the "font" element
Allow to specify the font size with one of the HTML font size names
Last edit: Hervé Girod 2019-01-06