[DrJava] [ drjava-Feature Requests-1475263 ] Copy/Paste History

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

Feature Requests item #1475263, was opened at 2006-04-23 22:55
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=1475263&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: Copy/Paste History

Initial Comment:
Keep a list of the last 10 strings a user copied
(Ctrl-C) or cut (Ctrl-X), then allow the user to paste
(Ctrl-V) the last string as usual, or press
Ctrl-Shift-V to display the list of the last strings.
The user can then pick one of the strings, move that
string to the front, and paste it.

Example:

Initial list: {}

User copies: "foo"
List: {"foo"}

User pastes: "foo"

User copies: "bar"
List: {"bar", "foo"}

User pastes: "foo"

User copies: "fum"
List: {"fum", "bar", "foo"}

User presses Ctrl-Shift-V:
The list {"fum", "bar", "foo"} is displayed.
The user selects "bar".
"bar" is pasted.
List: {"bar", "fum", "foo"}

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

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