| Index: site/try/src/user_option.dart
|
| diff --git a/site/try/src/user_option.dart b/site/try/src/user_option.dart
|
| deleted file mode 100644
|
| index 532c3f770d1ed7080707c5d0bccd1d0e07b0fd59..0000000000000000000000000000000000000000
|
| --- a/site/try/src/user_option.dart
|
| +++ /dev/null
|
| @@ -1,66 +0,0 @@
|
| -// Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file
|
| -// for details. All rights reserved. Use of this source code is governed by a
|
| -// BSD-style license that can be found in the LICENSE file.
|
| -
|
| -library trydart.userOption;
|
| -
|
| -/// Persistent user-configurable option.
|
| -///
|
| -/// Options included in [options] in settings.dart will automatically be
|
| -/// included in the settings UI unless [isHidden] is true.
|
| -///
|
| -/// The value of an option is persisted in [storage] which is normally the
|
| -/// browser's "localStorage", and [name] is a key in "localStorage". This
|
| -/// means that hidden options can be controlled by opening the JavaScript
|
| -/// console and evaluate:
|
| -///
|
| -/// localStorage['name'] = value // or
|
| -/// localStorage.name = value
|
| -///
|
| -/// An option can be reset to the default value using:
|
| -///
|
| -/// delete localStorage['name'] // or
|
| -/// delete localStorage.name
|
| -class UserOption {
|
| - final String name;
|
| -
|
| - final bool isHidden;
|
| -
|
| - static var storage;
|
| -
|
| - const UserOption(this.name, {this.isHidden: false});
|
| -
|
| - get value => storage[name];
|
| -
|
| - void set value(newValue) {
|
| - storage[name] = newValue;
|
| - }
|
| -
|
| - void setIfNotInitialized(newValueEvaluator()) {
|
| - if (storage[name] == null) {
|
| - value = newValueEvaluator();
|
| - }
|
| - }
|
| -}
|
| -
|
| -class BooleanUserOption extends UserOption {
|
| - const BooleanUserOption(String name, {bool isHidden: false})
|
| - : super(name, isHidden: isHidden);
|
| -
|
| - bool get value => super.value == 'true';
|
| -
|
| - void set value(bool newValue) {
|
| - super.value = '$newValue';
|
| - }
|
| -}
|
| -
|
| -class StringUserOption extends UserOption {
|
| - const StringUserOption(String name, {bool isHidden: false})
|
| - : super(name, isHidden: isHidden);
|
| -
|
| - String get value => super.value == null ? '' : super.value;
|
| -
|
| - void set value(String newValue) {
|
| - super.value = newValue;
|
| - }
|
| -}
|
|
|