[DrJava] [ drjava-Feature Requests-1430387 ] Auto-indent should trim unneeded whitespace

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

Feature Requests item #1430387, was opened at 2006-02-12 20:30
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=1430387&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Priority: 5
Submitted By: Chris Warrington (c45207)
Assigned to: Nobody/Anonymous (nobody)
Summary: Auto-indent should trim unneeded whitespace

Initial Comment:
Auto-indent should trim unnecessary whitespace on
a) blank lines (i.e., they should not be indented to 
the same level as surrounding line)
b) and at the end of lines.
It should also add a blank line at the end of the file.

An example:
public class Foo {
    public Foo() {
        //Implementation here.
        //There should be no whitespace
        //after the final character of this
        //line (with the exception of the
        //newline, of course).
    }

    //There should be NO whitespace on
    //the line above.
    public void method() {
        //...
    }
}

EOF

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

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