[DrJava] [ drjava-Feature Requests-523148 ] Printing in color/bold, etc.

[<no...@so...>]

Feature Requests item #523148, was opened at 2002-02-26 13:36
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438938&aid=523148&group_id=44253

Category: Other
Group: None
Status: Open
Priority: 1
Submitted By: Brian Stoler (brianstoler)
Assigned to: Nobody/Anonymous (nobody)
Summary: Printing in color/bold, etc.

Initial Comment:
It would be cool if comments/keywords/quotes were
highlighted differently in printouts, like in the
editor UI. The method
DefinitionsDocument.getHighlightStatus() gives the
information needed.

This is not important but would be cool. :)

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=438938&aid=523148&group_id=44253