[platform-ui-dev] Re: Navigation history - Bug 5700

["Thomas L Roche" <tlroche@xxxxxxxxxx>]

Jared Burns <jared-eclipse@xxxxxxxxx> Tue, 10 Sep 2002 10:36:38 -0500
> On the JDT-specific topic, the feature that *I* really want on a
> day-to-day basis is "back from F3." Solving the 90% case (JDT's F3)
> today doesn't preclude solving the 100% case (generic support) in
> the future. My thinking is this: If it would take a day to solve the
> F3 problem and a month to solve the generic problem, I'd be happy
> to have my Shift+F3 key tomorrow.

+1. Hell, +10 :-) It might also prove to be a useful prototype for a
generic solution.