| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java (revision 7713)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java (working copy)
|
| @@ -112,6 +112,11 @@
|
| public static final String EXTENSION_JS = "js";
|
|
|
| /**
|
| + * Preference for the packages root directory
|
| + */
|
| + public static final String PACKAGE_ROOT_DIR_PREFERENCE = "package root";
|
| +
|
| + /**
|
| * Cached extensions for CSS files.
|
| */
|
| private static final String[] CSS_FILE_EXTENSIONS = {"css"};
|
|
|