| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java (revision 10251)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java (working copy)
|
| @@ -48,7 +48,7 @@
|
|
|
| // Experimental functionality options.
|
|
|
| - public static final boolean ENABLE_UPDATE = false; // DISABLED pending further testing... isOptionTrue("experimental/update");
|
| + public static final boolean ENABLE_UPDATE = isOptionTrue("experimental/update");
|
| public static final boolean ENABLE_ALT_KEY_BINDINGS = isOptionTrue("experimental/altKeyBindings");
|
| public static final boolean HIDE_SHADOW_WARNINGS = isOptionTrue("experimental/hideShadowWarnings");
|
| public static final boolean ENABLE_TESTS_VIEW = isOptionTrue("experimental/testsView");
|
|
|