Additional keywords to search for SpotBugs preference page (#210)

This adds the keywords "bugs" and "findbugs" to "spotbugs" (the default).
spotbugs · Jun 12, 2017 · d4e7adc · d4e7adc
1 parent b0009ad
commit d4e7adc
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/eclipsePlugin/plugin.xml b/eclipsePlugin/plugin.xml
@@ -1319,8 +1319,14 @@
              class="de.tobject.findbugs.properties.FindbugsPropertyPage"
              id="FindBugsPreferencePage"
              name="SpotBugs">
+          <keywordReference id="com.github.spotbugs.plugin.eclipse.keywords"/>
        </page>
     </extension>
+    <extension
+          point="org.eclipse.ui.keywords">
+       <keyword id="com.github.spotbugs.plugin.eclipse.keywords"
+             label="bugs findbugs"/>
+    </extension>
 
    <extension
          point="org.eclipse.ui.console.consoleFactories">