Issue 249. Show documentation for highlighted code completion.

editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/dartdoc/DartDocUtilities.java

Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/dartdoc/DartDocUtilities.java
diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/dartdoc/DartDocUtilities.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/dartdoc/DartDocUtilities.java
index 8ec29488e5ba9d1c3102d52b0249d796c6134f56..62196ad573bc5ea6587f99680524b444f38ab873 100644
--- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/dartdoc/DartDocUtilities.java
+++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/dartdoc/DartDocUtilities.java
@@ -352,9 +352,7 @@ public final class DartDocUtilities {
 
     try {
       String docString = element.computeDocumentationComment();
-      if (docString != null) {
-        return convertToHtml(cleanDartDoc(docString));
-      }
+      return getDartDocAsHtml(docString);
     } catch (AnalysisException e) {
       DartCore.logError(e);
     }
@@ -363,6 +361,16 @@ public final class DartDocUtilities {
   }
 
   /**
+   * Return the prettified DartDoc text for the given element.
+   */
+  public static String getDartDocAsHtml(String docString) {
+    if (docString != null) {
+      return convertToHtml(cleanDartDoc(docString));
+    }
+    return null;
+  }
+
+  /**
    * Return a one-line description of the given Element.
    * 
    * @param the element to document