Issue 249. Show documentation for highlighted code completion.

editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/completion/CompletionProposal.java

Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/completion/CompletionProposal.java
diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/completion/CompletionProposal.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/completion/CompletionProposal.java
index ad6adf467c57c27b602d99d00b4bc5c63c89ed12..9207bd011d8e841a94684d5dab638612664ecccd 100644
--- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/completion/CompletionProposal.java
+++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/completion/CompletionProposal.java
@@ -13,6 +13,7 @@
  */
 package com.google.dart.tools.core.completion;
 
+import com.google.dart.engine.element.Element;
 import com.google.dart.tools.core.DartCore;
 import com.google.dart.tools.core.internal.completion.InternalCompletionProposal;
 import com.google.dart.tools.core.model.DartModifiers;
@@ -791,6 +792,13 @@ public class CompletionProposal {
   }
 
   /**
+   * @return the {@link Element} associated with this completion proposal, may be {@code null}.
+   */
+  public Element getElement() {
+    return null;
+  }
+
+  /**
    * Return the modifier flags relevant in the context, or <code>Flags.AccDefault</code> if none.
    * <p>
    * This field is available for the following kinds of completion proposals: