| Index: editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/DartDebugCorePlugin.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/DartDebugCorePlugin.java (revision 11395)
|
| +++ editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/DartDebugCorePlugin.java (working copy)
|
| @@ -210,6 +210,7 @@
|
| return getPrefs().getBoolean(PREFS_DEFAULT_BROWSER, true);
|
| }
|
|
|
| + @SuppressWarnings("deprecation")
|
| public IEclipsePreferences getPrefs() {
|
| if (prefs == null) {
|
| prefs = new InstanceScope().getNode(PLUGIN_ID);
|
|
|