Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(357)

Unified Diff: editor/tools/plugins/com.google.dart.tools.ui/.options

Issue 11362002: Option to disable syntax highlighter and use mostly semantic highlighter. Tests. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 8 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: editor/tools/plugins/com.google.dart.tools.ui/.options
diff --git a/editor/tools/plugins/com.google.dart.tools.ui/.options b/editor/tools/plugins/com.google.dart.tools.ui/.options
new file mode 100644
index 0000000000000000000000000000000000000000..aea667d0caaca63e97672f94faaf2be4fe428a9b
--- /dev/null
+++ b/editor/tools/plugins/com.google.dart.tools.ui/.options
@@ -0,0 +1,10 @@
+#
+# Internal options for the Dart UI
+#
+# To run Dart Editor with custom options,
+# copy one or more of these settings to an options file
+# then launch Dart Editor from the command line with
+#
+# -debug /path/to/options/file
+#
+com.google.dart.tools.ui/experimental/useOnlySemanticHighlighter = false

Powered by Google App Engine
This is Rietveld 408576698