| Index: dart/site/try/src/settings.dart
|
| diff --git a/dart/site/try/src/settings.dart b/dart/site/try/src/settings.dart
|
| index a87a2051c64a9a8b48d787ef20b4da562bdf061e..82382e1994ab2f007b1f4fdbdf2f0c265f8d15d2 100644
|
| --- a/dart/site/try/src/settings.dart
|
| +++ b/dart/site/try/src/settings.dart
|
| @@ -101,6 +101,9 @@ const BooleanUserOption alwaysRunInIframe =
|
| const BooleanUserOption communicateViaBlobs =
|
| const BooleanUserOption('communicateViaBlobs', isHidden: true);
|
|
|
| +const BooleanUserOption hasSelectionModify =
|
| + const BooleanUserOption('hasSelectionModify', isHidden: true);
|
| +
|
| const List<UserOption> options = const <UserOption>[
|
| _alwaysRunInWorker,
|
| _verboseCompiler,
|
| @@ -116,4 +119,5 @@ const List<UserOption> options = const <UserOption>[
|
| _currentSample,
|
| alwaysRunInIframe,
|
| communicateViaBlobs,
|
| + hasSelectionModify,
|
| ];
|
|
|