PT #151674858 Live boot hint decorations on/off

2017-10-20 20:55:05 -04:00
parent fdde938433
commit 55a439dc30
17 changed files with 336 additions and 82 deletions
--- a/eclipse-language-servers/org.springframework.tooling.boot.java.ls/plugin.xml
+++ b/eclipse-language-servers/org.springframework.tooling.boot.java.ls/plugin.xml
@@ -42,5 +42,20 @@
            contentTypeId="org.eclipse.jdt.core.javaSource">
      </participant>
   </extension>
+   <extension
+         point="org.eclipse.ui.preferencePages">
+      <page
+            category="org.springsource.ide.eclipse.commons.preferencePage"
+            class="org.springframework.tooling.boot.java.ls.BootJavaPreferencesPage"
+            id="org.springframework.tooling.boot.java.ls.page1"
+            name="Boot Java Language Server Extension">
+      </page>
+   </extension>
+   <extension
+         point="org.eclipse.core.runtime.preferences">
+      <initializer
+            class="org.springframework.tooling.boot.java.ls.PrefsInitializer">
+      </initializer>
+   </extension>

 </plugin>