[jbosstools-issues] [JBoss JIRA] Closed: (JBIDE-130) Configure JSP Editor Fonts
[ http://jira.jboss.com/jira/browse/JBIDE-130?page=all ]
Max Andersen closed JBIDE-130.
------------------------------
Configure JSP Editor Fonts
--------------------------
Key: JBIDE-130
URL: http://jira.jboss.com/jira/browse/JBIDE-130
Project: JBoss Tools
Issue Type: Feature Request
Environment: Anyone
Reporter: Guna Alexander
Assigned To: Marshall Culpepper
Priority: Trivial
I Would like to set fonts attributes in JSP Editor, as I can do with the Java Editor. I
believe that it's better work with smaller font size, thus I can see entire big lines.
--
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators:
http://jira.jboss.com/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira