| How to use the extension-point org.eclipse.ui.keywords? [message #294152] |
Fri, 04 November 2005 09:53  |
Eclipse User |
|
|
|
The ext-point docs do not explain it. I only had the idea that this ext-point could be useful
because in https://bugs.eclipse.org/bugs/show_bug.cgi?id=106858#c3 Nick Edgar said that if one
extended this ext.-point, one could get the Prefs-Dialog "filter" to find one's own Pref-Page. But
doing the obvious thing does not work at all:
<extension
id="biz.bux.png.saw2.keywords"
point="org.eclipse.ui.keywords">
<keyword
id="biz.bux.png.saw2.keyword1"
label="type-system"/>
<keyword
id="biz.bux.png.saw2.keyword2"
label="Types"/>
</extension>
<extension
point="org.eclipse.ui.preferencePages">
<page
class="biz.bux.png.saw2.Preferences"
id="biz.bux.png.saw2.prefPage"
name="My Preferences">
<keywordReference id="biz.bux.png.saw2.keywords"/>
</page>
</extension>
When entering "Types" or "type-system" into the filter, my pref-page is not found.
So, how do I do it?
thanks,
Paul
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.02894 seconds
Home