#9 Super and subscripts in text editor

[Danny Weltman]

It would be nice if the text editor supported superscripts and subscripts, because there's nothing philosophers like more than writing out variables with super and subscripts.

[Jason Winning]

This feature will be in the next version released after 1.19.2, though it will unfortunately require the user to type the html tags (<sub> and <sup>). A toolbar button for superscript and subscript will basically just tell the user how to do this. Unfortunately there's no way to build in superscript or subscript functionality directly into the text editor. The text editor component is the JavaFX HTMLEditor, which cannot be configured to directly change superscript/subscript within the editor itself. So a better solution would require completely redesigining the text editor from scratch using a different underlying technology (like RichTextFX).