use DocumentationMarkup

JetBrains · Mar 21, 2019 · 5cf6afa · 5cf6afa
1 parent ba5dc3b
commit 5cf6afa
Showing 1 changed file with 3 additions and 7 deletions.
diff --git a/src/main/com/intellij/lang/jsgraphql/ide/documentation/GraphQLDocumentationProvider.java b/src/main/com/intellij/lang/jsgraphql/ide/documentation/GraphQLDocumentationProvider.java
@@ -28,17 +28,13 @@
 import java.util.List;
 import java.util.Objects;
 
+import static com.intellij.lang.documentation.DocumentationMarkup.*;
+
 public class GraphQLDocumentationProvider extends DocumentationProviderEx {
 
     private final static String GRAPHQL_DOC_PREFIX = "GraphQL";
     private final static String GRAPHQL_DOC_TYPE = "Type";
 
-    // using this instead of DocumentationMarkup to keep 173 compatibility
-    private static final String DEFINITION_START = "<div class='definition'><pre>";
-    private static final String DEFINITION_END = "</pre></div>";
-    private static final String CONTENT_START = "<div class='content'>";
-    private static final String CONTENT_END = "</div>";
-
     @Nullable
     @Override
     public String getQuickNavigateInfo(PsiElement element, PsiElement originalElement) {
@@ -245,7 +241,7 @@ private String getArgumentDocumentation(String inputValueName, GraphQLArgument a
 
     private void appendDescription(StringBuilder result, @Nullable String descriptionAsHTML) {
         if (descriptionAsHTML == null) return;
-        result.append(GraphQLDocumentationProvider.CONTENT_START).append(descriptionAsHTML).append(GraphQLDocumentationProvider.CONTENT_END);
+        result.append(CONTENT_START).append(descriptionAsHTML).append(CONTENT_END);
     }
 
     @Nullable