Re: [platform-ui-dev] Editors view feature or defect (?)

["Bob Foster" <bob@xxxxxxxxxx>]

From: "Jared Burns" <jared-eclipse@xxxxxxxxx>
> Bug 5700 is an interesting problem and I really can't comment on the
buttons
> without knowing what you have in mind as the solution. After looking at
the
> APIs available to solve this problem (or lack thereof), I'm starting to
think
> that we should just solve the JDT problem. That is, we should just provide
a
> mechanism to go "back" from F3 (Shift+F3?) or at most, a mechanism that
ties
> into F3 and the outliner in which case the buttons might make more sense
on
> the outliner toolbar.

Um, no. This problem is not JDT-specific and within JDT not F3-specific.

Bob