Bug 497938

Summary:	Enhanche Ctrl+E search experience with substring and capital letters matching
Product:	[Eclipse Project] Platform	Reporter:	Patrik Suzzi <psuzzi>
Component:	UI	Assignee:	Platform-UI-Inbox <Platform-UI-Inbox>
Status:	NEW ---	QA Contact:
Severity:	normal
Priority:	P3	CC:	dkhei, gautier.desaintmartinlacaze, Lars.Vogel, nobody
Version:	4.6
Target Milestone:	---
Hardware:	PC
OS:	Windows 10
Whiteboard:

Description Patrik Suzzi

2016-07-14 17:39:36 EDT

As per Bug 497618 comment18, we should enhance the Ctrl+E (soon to be Ctrl+F6) search experience, by adding substring matching and capital letters matching

Comment 1 Hugh Yang

2016-07-14 22:39:15 EDT

Cool, thanks!

Comment 2 Hugh Yang

2016-07-14 23:11:07 EDT

Consider keeping Ctrl+E binding, as some people might use it frequently.

Comment 3 Patrik Suzzi

2016-07-15 06:33:09 EDT

(In reply to Hugh Yang from comment #2)
> Consider keeping Ctrl+E binding, as some people might use it frequently.

This will be discussed in Bug 497937 comment4

Comment 4 Nobody - feel free to take it

2020-01-10 20:09:20 EST

Hum, substring matching is already possible, is it not?