[DrJava] [ drjava-Feature Requests-610754 ] allow for editing during indentation

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

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

Category: Definitions (source editor)
Group: Unknown size
Status: Open
Priority: 4
Submitted By: Eric E. Allen (eallen)
Assigned to: Nobody/Anonymous (nobody)
Summary: allow for editing during indentation

Initial Comment:
When a file is being block-indented, allow the user to
modify other open files. There's no reason why other
open buffers need to be locked.

Story:

The user has two files open. He selects all and hits
tab. The indentation takes a long time. While it's
going, the user switches to the other open file and
edits it. When indentation is completed, some
notification is given to the user (preferably not a
dialog box. Maybe the color of the file's name could
change, or notification could be given on the status
bar).

-- Eric


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

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