| Index: runtime/bin/vmservice/observatory/lib/src/app/settings.dart
|
| diff --git a/runtime/bin/vmservice/observatory/lib/src/app/settings.dart b/runtime/bin/vmservice/observatory/lib/src/app/settings.dart
|
| deleted file mode 100644
|
| index 2a7bbb37dd983043cb4f3fb3123a6fa07afec899..0000000000000000000000000000000000000000
|
| --- a/runtime/bin/vmservice/observatory/lib/src/app/settings.dart
|
| +++ /dev/null
|
| @@ -1,45 +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.
|
| -
|
| -part of app;
|
| -
|
| -/// Static settings database.
|
| -class _Settings {
|
| - static Storage _storage = window.localStorage;
|
| -
|
| - /// Associated [value] with [key]. [value] must be JSON encodable.
|
| - static void set(String key, dynamic value) {
|
| - _storage[key] = JSON.encode(value);
|
| - }
|
| -
|
| - /// Get value associated with [key]. Return value will be a JSON encodable
|
| - /// object.
|
| - static dynamic get(String key) {
|
| - var value = _storage[key];
|
| - if (value == null) {
|
| - return null;
|
| - }
|
| - return JSON.decode(value);
|
| - }
|
| -}
|
| -
|
| -/// A group of settings each prefixed with group name and a dot.
|
| -class SettingsGroup {
|
| - /// Group name
|
| - final String group;
|
| -
|
| - SettingsGroup(this.group);
|
| -
|
| - String _fullKey(String key) => '$group.$key';
|
| -
|
| - void set(String key, dynamic value) {
|
| - var fullKey = _fullKey(key);
|
| - _Settings.set(fullKey, value);
|
| - }
|
| -
|
| - dynamic get(String key) {
|
| - var fullKey = _fullKey(key);
|
| - return _Settings.get(fullKey);
|
| - }
|
| -}
|
|
|