It would be great to be able to change the font used by the JSP editor. At present it seems to use the default text font. I'd really like to have the default font be proportionally spaced and the editor font be monospaced, for example.
Log in to post a comment.