| 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 3609)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java (working copy)
|
| @@ -42,6 +42,9 @@
|
|
|
| public static final boolean DEBUGGER = isOptionTrue("debugger");
|
|
|
| + public static final boolean ENABLE_CONTENT_ASSIST_TIMING = isOptionTrue("debug/ResultCollector");
|
| + public static final boolean ENABLE_TYPE_REFINEMENT = isOptionTrue("debug/RefineTypes");
|
| +
|
| public static Collection<String> getLibrariesEmbedded() {
|
| List<String> result = new ArrayList<String>();
|
| for (String spec : getOptionValue("libraries/embedded", "").split(",")) {
|
|
|