-
Enhancement
-
Resolution: Done
-
Major
-
None
-
None
-
devex #118 July 2016
- it will avoid to have "type search text" entered as a real text and provide a nicer UI
it avoids to have the "type search text" used as a filter when clicking in the text field
for UI difference kind see screenshots on https://bugs.eclipse.org/bugs/show_bug.cgi?id=496805