Community
Participate
Working Groups
20060214-0800 If you type "Java Text" into the fonts preference page it will not hit the Java Text font entry.
Just a note: this is not a regression. I checked M4, M3, and M1 and this search text didn't result in a hit.
"java*text" does work, "java text" does not.
Yes, that's how it works (similar to other filtered dialogs, for instance, the preference pages dialog). In the code PatternFilter#wordMatches(String text) tries to match "java text*" against "Java Editor Text Font (set to default: Text Font)": 1) exact match -> doesn't work 2) splits elements into words: [Java, Editor, Text, Font, set, to, default, Text, Font] and tries to match those words agains "java text*" -> again, doesn't work The PatternFilter is an API so likely we'll need a new subclass that splits both text to macth and element's description into words, and produces a match if all words from the filter can be found in the element. When such subclass can be used in ColorsAndFontsPreferencePage new FilteredTree() instead of "new PatternFilter()".
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.