Index: dart/site/try/src/settings.dart |
diff --git a/dart/site/try/src/settings.dart b/dart/site/try/src/settings.dart |
index 58b306e7406e0d220dd5862aa64b9cbb9159ecee..904f2afef68928f0e730d72c82b365945769d3a3 100644 |
--- a/dart/site/try/src/settings.dart |
+++ b/dart/site/try/src/settings.dart |
@@ -90,6 +90,9 @@ void set theme(String b) { |
const BooleanUserOption enableCodeCompletion = |
const BooleanUserOption('enableCodeCompletion', isHidden: true); |
+const BooleanUserOption incrementalCompilation = |
+ const BooleanUserOption('incrementalCompilation'); |
+ |
const List<UserOption> options = const <UserOption>[ |
_alwaysRunInWorker, |
_verboseCompiler, |
@@ -97,6 +100,7 @@ const List<UserOption> options = const <UserOption>[ |
_onlyAnalyze, |
_enableDartMind, |
_compilationPaused, |
+ incrementalCompilation, |
_codeFont, |
_theme, |
_currentSample, |