Menu

#17 ability to set jsp editor font

open
nobody
5
2002-10-22
2002-10-22
No

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.

Discussion


Log in to post a comment.