| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/ChangeSet.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/ChangeSet.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/ChangeSet.java
|
| index 19ff20233877a775ef628513c5be761dc9fe487e..7b8dadd847c22de28a34110bce4c65fd2140c6a7 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/ChangeSet.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/ChangeSet.java
|
| @@ -190,7 +190,8 @@ public class ChangeSet {
|
|
|
| /**
|
| * Record that the specified source has been changed. If the content of the source was previously
|
| - * overridden, use {@link #changedContent(Source, String)} instead.
|
| + * overridden, this has no effect (the content remains overridden). To cancel (or change) the
|
| + * override, use {@link #changedContent(Source, String)} instead.
|
| *
|
| * @param source the source that was changed
|
| */
|
|
|