Change Log

Version 1.1: It is now possible to select a different font to render the text elements of the editor. When you define the figure output, see the intention Set Font X, where X is the name of a font installed under the fonts directory in the plugin installed location. You may add new true font files in this location and they will be shown by the intention. Alternatively, add a font directly as child of output and set the filename to the true font file. This change was introduced to make it possible to use a font with more glyphs than the default one.