Summary: | [CommonNavigator] Add a "quick search" box to the project explorer | ||
---|---|---|---|
Product: | [Eclipse Project] Platform | Reporter: | Raphael Jolivet <raphael.jolivet> |
Component: | UI | Assignee: | Francis Upton IV <francisu> |
Status: | NEW --- | QA Contact: | |
Severity: | enhancement | ||
Priority: | P3 | CC: | francisu, markus.kell.r, vainolo |
Version: | 3.4 | ||
Target Milestone: | --- | ||
Hardware: | All | ||
OS: | All | ||
Whiteboard: |
Description
Raphael Jolivet
2009-02-10 11:30:22 EST
(In reply to bug 149110 comment 5) > bug 69200 is the corresponding request for the navigator. See bug 69200 comment > 7 why this request is non-trivial. I'd suggest you use Navigate > Open Resource and maybe vote for bug 86973. To just select the item, use Navigate > Go To > Resource. If no one is going to handle this enhancement, why not close the bug? (In reply to comment #2) > If no one is going to handle this enhancement, why not close the bug? We generally don't do that. Enhancement requests which are valid can stay open for a long time to record someone's desire to have the feature. And you never know, someone might make a contribution to do it. Perhaps even you. I think this only causes noise in the bug database. But it is only my opinion. Thanks for your answer! |