[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [platform-ui-dev] Re: Navigation history - Bug 5700
|
-1. I can't see this providing a useful prototype for anything but back from
F3.
If the first thing that gets implemented using a general-purpose API is back
from F3, fine with me.
Bob
----- Original Message -----
From: "Thomas L Roche" <tlroche@xxxxxxxxxx>
To: "Jared Burns" <jared-eclipse@xxxxxxxxx>
Cc: <platform-ui-dev@xxxxxxxxxxx>
Sent: Tuesday, September 10, 2002 10:57 AM
Subject: [platform-ui-dev] Re: Navigation history - Bug 5700
> 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.
>
> _______________________________________________
> platform-ui-dev mailing list
> platform-ui-dev@xxxxxxxxxxx
> http://dev.eclipse.org/mailman/listinfo/platform-ui-dev
>
