Index: dart/editor/tools/plugins/com.google.dart.tools.core/.options |
=================================================================== |
--- dart/editor/tools/plugins/com.google.dart.tools.core/.options (revision 29808) |
+++ dart/editor/tools/plugins/com.google.dart.tools.core/.options (working copy) |
@@ -13,6 +13,7 @@ |
com.google.dart.tools.core/debug/warmup = false |
com.google.dart.tools.core/debug/verbose = false |
com.google.dart.tools.core/logging/debugger = false |
+com.google.dart.tools.core/launch/chromeApp = false |
com.google.dart.tools.core/trace/artifactProvider = false |
com.google.dart.tools.core/trace/index/contributor = false |
@@ -34,6 +35,7 @@ |
com.google.dart.tools.core/experimental/tabColors = false |
com.google.dart.tools.core/experimental/validateHtml = false |
com.google.dart.tools.core/experimental/analysis/useDartc = false |
+com.google.dart.tools.core/experimental/pubserve = false |
com.google.dart.tools.core/experimental/pubInWinXP = false |