Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 434139

Summary:	please integrate the excellent Quick Search plug-in
Product:	[Eclipse Project] Platform	Reporter:	Rafael Chaves <eclipse>
Component:	Search	Assignee:	Platform-Search-Inbox <platform-search-inbox>
Status:	CLOSED DUPLICATE	QA Contact:
Severity:	enhancement
Priority:	P3	CC:	kdevolder
Version:	4.4
Target Milestone:	---
Hardware:	All
OS:	All
Whiteboard:	stalebug

Description Rafael Chaves

2014-05-05 13:59:25 EDT

Please integrate the Quick-Search plug-in:

http://spring.io/blog/2013/07/11/eclipse-quick-search/
https://marketplace.eclipse.org/content/quick-search-eclipse

Eclipse is so much better to use with this feature, which if somewhat equivalent is much more usable than the traditional Search feature.

I have been using it in all my Eclipse installs since it was released by SpringSource, and can't avoid a facepalm every time I use a new install that does not have it installed yet.

Comment 1 Rafael Chaves

2014-05-05 14:02:58 EDT

Adding Kris De Volder, IIRC, author of the Quick Search plug-in.

Comment 2 Lars Vogel

2019-11-27 07:30:28 EST

This bug hasn't had any activity in quite some time. Maybe the problem got
resolved, was a duplicate of something else, or became less pressing for some
reason - or maybe it's still relevant but just hasn't been looked at yet.

If you have further information on the current state of the bug, please add it.
The information can be, for example, that the problem still occurs, that you
still want the feature, that more information is needed, or that the bug is
(for whatever reason) no longer relevant.

If the bug is still relevant, please remove the stalebug whiteboard tag.

Comment 3 Rafael Chaves

2019-11-27 07:39:42 EST


*** This bug has been marked as a duplicate of bug 548518 ***

Comment 4 Rafael Chaves

2019-11-27 07:52:38 EST

Thanks and congrats, Kris!