[jbosstools-issues] [JBoss JIRA] Closed: (JBIDE-130) Configure JSP Editor Fonts
Max Andersen (JIRA)
jira-events at lists.jboss.org
Wed Nov 7 08:35:02 EST 2007
[ 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
More information about the jbosstools-issues
mailing list