[DrJava] [ drjava-Feature Requests-679999 ] allow searches in reverse

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

Feature Requests item #679999, was opened at 2003-02-04 03:40
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=679999&group_id=44253

Category: Interactions
Group: Small (< 1 pair-week)
Status: Open
Priority: 5
Submitted By: Tim Oberg (alphacoder)
Assigned to: Nobody/Anonymous (nobody)
Summary: allow searches in reverse

Initial Comment:
The user hits the hotkey for a search, types in her
search string, checks the search backwards box, and
when the search is executed, the search moves backwards
through the document.

New story but closely related: the user binds a hotkey
in the preferences menu to represent searching in
reverse.  Now when that key, perhaps C-r, is pressed
the search dialog comes up with the search in reverse
box already checked.

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

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