Index: dart/site/try/src/editor.dart |
diff --git a/dart/site/try/src/editor.dart b/dart/site/try/src/editor.dart |
index e8ae9e80dd89fac5ca3a3725e5ade689be369db4..885295de9c167a69860620832964cdb048f71f0c 100644 |
--- a/dart/site/try/src/editor.dart |
+++ b/dart/site/try/src/editor.dart |
@@ -241,8 +241,9 @@ addDiagnostic(String kind, String message, int begin, int end) { |
anchorOffset = selection.anchorOffset; |
Node marker = new Text(""); |
node.replaceWith(marker); |
- // TODO(ahe): Don't highlight everything in the node. Find |
- // the relevant token. |
+ // TODO(ahe): Don't highlight everything in the node. Find the |
+ // relevant token (works for now as we create a node for each token, |
+ // which is probably not great for performance). |
if (kind == 'error') { |
marker.replaceWith(diagnostic(node, error(message))); |
} else if (kind == 'warning') { |
@@ -301,7 +302,7 @@ Decoration getDecoration(Token token) { |
isMalformedInput = true; |
return new DiagnosticDecoration('error', tokenValue); |
} |
- return null; |
+ return currentTheme.foreground; |
} |
diagnostic(text, tip) { |