| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/refactoring/RefactoringSavePreferences.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/refactoring/RefactoringSavePreferences.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/refactoring/RefactoringSavePreferences.java
|
| deleted file mode 100644
|
| index bf4c0e183bd603d66b65806b3dccf2c4bbdb557a..0000000000000000000000000000000000000000
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/refactoring/RefactoringSavePreferences.java
|
| +++ /dev/null
|
| @@ -1,21 +0,0 @@
|
| -package com.google.dart.tools.ui.internal.refactoring;
|
| -
|
| -import com.google.dart.tools.ui.DartToolsPlugin;
|
| -import com.google.dart.tools.ui.PreferenceConstants;
|
| -
|
| -import org.eclipse.jface.preference.IPreferenceStore;
|
| -
|
| -public class RefactoringSavePreferences {
|
| -
|
| - public static final String PREF_SAVE_ALL_EDITORS = PreferenceConstants.REFACTOR_SAVE_ALL_EDITORS;
|
| -
|
| - public static boolean getSaveAllEditors() {
|
| - IPreferenceStore store = DartToolsPlugin.getDefault().getPreferenceStore();
|
| - return store.getBoolean(PREF_SAVE_ALL_EDITORS);
|
| - }
|
| -
|
| - public static void setSaveAllEditors(boolean save) {
|
| - IPreferenceStore store = DartToolsPlugin.getDefault().getPreferenceStore();
|
| - store.setValue(PREF_SAVE_ALL_EDITORS, save);
|
| - }
|
| -}
|
|
|