Index: editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/completion/CompletionProposal.java |
diff --git a/editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/completion/CompletionProposal.java b/editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/completion/CompletionProposal.java |
index 9b92f8d0103899da0967eebe401802f941a23eba..daa5e7750c239a0a0a36ba6c9be7d5baed560cdd 100644 |
--- a/editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/completion/CompletionProposal.java |
+++ b/editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/completion/CompletionProposal.java |
@@ -20,6 +20,11 @@ public interface CompletionProposal { |
int RELEVANCE_DEFAULT = 10; |
int RELEVANCE_HIGH = 20; |
+ /** |
+ * This character is used to specify location of the cursor after completion. |
+ */ |
+ char CURSOR_MARKER = 0x2758; |
+ |
void applyPartitionOffset(int partitionOffset); |
String getCompletion(); |