Spring/spring-tools
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Eclipse Spring preferences re-organization

Browse Source
This commit is contained in:
aboyko
2023-02-13 12:27:22 -05:00
parent 11e6a31ef3
commit fbbb6fbcfd
23 changed files with 203 additions and 460 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
eclipse-extensions/org.springframework.ide.eclipse.xml.namespaces/plugin.xml
View File

@@ -40,9 +40,9 @@
<extension point="org.eclipse.ui.preferencePages">
<page id="org.springframework.ide.eclipse.beans.ui.namespaces.preferencePage"
name="Namespaces"
name="Namespace Support"
class="org.springframework.ide.eclipse.xml.namespaces.ui.preferences.NamespaceVersionPreferencePage"
category="org.springsource.ide.eclipse.commons.preferencePage">
category="org.springframework.tooling.boot.xml.ls.preferences">
</page>
</extension>