[ http://jira.jboss.com/jira/browse/JBIDE-130?page=history ]
Guna Alexander updated JBIDE-130:
---------------------------------
Summary: Configure JSP Editor Fonts (was: Configure JBoss IDE JSP Editor
Fonts)
> Configure JSP Editor Fonts
> --------------------------
>
> Key: JBIDE-130
> URL: http://jira.jboss.com/jira/browse/JBIDE-130
> Project: JBoss IDE
> Type: Feature Request
> Environment: Anyone
> Reporter: Guna Alexander
> Assignee: 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
-
If you want more information on JIRA, or have a bug to report see:
http://www.atlassian.com/software/jira
-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click
_______________________________________________
JBoss-Development mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/jboss-development
