[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