Feature Requests item #571805, was opened at 2002-06-20 20:13
You can respond by visiting:
http://sourceforge.net/tracker/?func=detail&atid=438938&aid=571805&group_id=44253
Category: Definitions (source editor)
Group: Small (< 1 pair-week)
Status: Open
Priority: 5
Submitted By: Charles Reis (csreis)
Assigned to: Nobody/Anonymous (nobody)
Summary: Don't use indent logic on non-Java files
Initial Comment:
If a saved document does not have a ".java" extension,
DrJava should not use the indent logic on it. This
would make it easy to open other files (eg. the
".drjava" config file) without starting another editor.
Note that the indent logic should still be applied on
new files (without any filename).
----------------------------------------------------------------------
You can respond by visiting:
http://sourceforge.net/tracker/?func=detail&atid=438938&aid=571805&group_id=44253
|
