Move Dialyzer preferences option

The `Dialyzer` option is now placed under the toplevel `Erlang` instead of under `Compiler`.
erlang · Jan 30, 2023 · 7ad68a1 · 7ad68a1
1 parent 3dca45f
commit 7ad68a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugins/org.erlide.ui/plugin.xml b/plugins/org.erlide.ui/plugin.xml
@@ -2148,7 +2148,7 @@
    <extension
          point="org.eclipse.ui.preferencePages">
       <page
-            category="org.erlide.ui.preferences.compiler"
+            category="org.erlide.ui.preferences"
             class="org.erlide.dialyzer.ui.prefs.DialyzerPreferencePage"
             id="org.erlide.dialyzer.ui.builder"
             name="Dialyzer">