Preferencedialog for "Mark Occurrences"
[phpeclipse.git] / net.sourceforge.phpeclipse / plugin.xml
index 0e77cc1..42ac482 100644 (file)
             class="net.sourceforge.phpdt.internal.ui.preferences.SpellingPreferencePage"
             id = "net.sourceforge.phpdt.internal.ui.preferences.SpellingPreferencePage">
       </page>
+      <page
+            name="%editorMarkOccurrencesPage"
+            category="net.sourceforge.phpeclipse.preferences.PHPPreferencePage"
+            class="net.sourceforge.phpdt.internal.ui.preferences.MarkOccurrencesPreferencePage"
+            id="net.sourceforge.phpdt.internal.ui.preferences.MarkOccurrencesPreferencePage">
+  <!--       <keywordReference id="org.eclipse.jdt.ui.markoccurrences"/> -->
+      </page>
    </extension>
  <!--  <extension
          point="org.eclipse.ui.editors.documentProviders">