|
From: <no...@so...> - 2002-06-20 20:13:44
|
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 |