[DrJava] [ drjava-Feature Requests-591773 ] Customizable LookAndFeel

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

Feature Requests item #591773, was opened at 2002-08-06 15:13
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=591773&group_id=44253

Category: User interface
Group: Small (< 1 pair-week)
Status: Open
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Customizable LookAndFeel

Initial Comment:
Please add the ability to select the Swing LookAndFeel, 
and maybe even the ability to customize the themes for 
the MetalLookAndFeel.

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

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