[INTERNAL][STF] Fix wrong eclipse endpoint

PR #1010 also changed the name of the used eclipse endpoint from `preferencesPages` -> `preference_pages` (which is not an existing endpoint). Fixes #1014
saros-project · May 27, 2020 · 734a675 · 734a675
1 parent ccaabf1
commit 734a675
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eclipse/plugin.xml b/eclipse/plugin.xml
@@ -56,7 +56,7 @@
       </decorator>
    </extension>
    <extension
-         point="org.eclipse.ui.preference_pages">
+         point="org.eclipse.ui.preferencePages">
       <page
             class="saros.ui.preference_pages.GeneralPreferencePage"
             id="saros.preferences"