[DrJava] [ drjava-Feature Requests-1418761 ] Recently Viewed Documents, Forward+Back Operations

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

Feature Requests item #1418761, was opened at 2006-01-30 10:38
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=1418761&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: User interface
Group: None
Status: Open
Priority: 5
Submitted By: Mathias Ricken (mgricken)
Assigned to: Nobody/Anonymous (nobody)
Summary: Recently Viewed Documents, Forward+Back Operations

Initial Comment:
DrJava currently provides the navigation options
"Previous/Next Document". They change to the
previous/next document in the file list. With large
projects, this is not very useful.

DrJava should maintain some data structure, probably
two stacks, of recently viewed documents, and keep the
recently viewed documents in this data structure.
DrJava then provides "Back" and "Forward" operations to
go back to these documents. Maybe there should also be
a "Clear" operation.

The advantage is that it allows quick navigation
between just the files the user is currently editing,
such as a model class and its test case.

Example:

File list contains the files A, B, C, D.

When I open the files A, C, and B in that order, then
the currently displayed file is B.

When I use the proposed "Back" operation, the displayed
document changes to C. When I then use the proposed
"Forward" operation, it changes back to B. The document
D, which we're not interested in, is never viewed.

While this is subject to debate, I think two stacks
would work well:

- The "Back" operation pushes the current document on
the "future" stack and pops the top off the "past"
stack and makes that document the current document.
- The "Forward" operation pushes onto the "past" stack
and pops off the "future" stack.
- The "Clear" operation clears both stacks.
- When the user changes to a document using an
operation other than "Back" or "Forward", the current
document is pushed on the "past" stack and the "future"
stack is cleared (I'm not exactly sure about this part;
maybe the future stack is not cleared).

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

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