Community
Participate
Working Groups
currently the preference page support allows for an api that show a list of filtered preferences pages. This list is constructed from the ids of the preference pages. It would be nice if instead of ids, the PreferenceUtil methods accepted a keyword instead. This way I dont have to painstakingly find out what the pref page ids are by looking at numerous plugin.xmls. Alternatively, an api that returns a list of pref page ids given a keyword. (and on the same topic, how come the a Java preference page appears when you filter by the string "Appe". I could not find any Java pref page that was defined with an appearance keyword. )
ps: maybe Im missing something here, but is the text filtering mechanism documented somewhere? Is this just a simple grep?
Tod, is the filtering just a text grep on the begining of each pref page name? is that what is it? any * substitution?
On the keyword and each word in the game. We don't prefix with * becuase of false positives.
There are currently no plans for the Platform team to implement this feature.
As of now 'LATER' and 'REMIND' resolutions are no longer supported. Please reopen this bug if it is still valid for you.
