| Index: dart/site/try/src/editor.dart
|
| diff --git a/dart/site/try/src/editor.dart b/dart/site/try/src/editor.dart
|
| index afe92ab8b111c8086cf527acc224eaef24be6b8e..4d8cb12c04aee136f88295d6b5cd23a0ea7109d5 100644
|
| --- a/dart/site/try/src/editor.dart
|
| +++ b/dart/site/try/src/editor.dart
|
| @@ -234,6 +234,8 @@ addDiagnostic(String kind, String message, int begin, int end) {
|
|
|
| Decoration getDecoration(Token token) {
|
| if (token is ErrorToken) {
|
| + // TODO(ahe): Remove side effects from this method. It only leads to
|
| + // confusion.
|
| isMalformedInput = true;
|
| return new DiagnosticDecoration('error', token.assertionMessage);
|
| }
|
| @@ -251,6 +253,8 @@ Decoration getDecoration(Token token) {
|
| if (tokenInfo == 'keyword') return currentTheme.keyword;
|
| if (tokenInfo == 'comment') return currentTheme.singleLineComment;
|
| if (tokenInfo == 'malformed input') {
|
| + // TODO(ahe): Remove side effects from this method. It only leads to
|
| + // confusion.
|
| isMalformedInput = true;
|
| return new DiagnosticDecoration('error', tokenValue);
|
| }
|
|
|