Auto-save for the Dart Editor.

editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/DartBasePreferencePage.java

Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/DartBasePreferencePage.java
diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/DartBasePreferencePage.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/DartBasePreferencePage.java
index 513109026e1c3e6d38133782421f991ae7541248..c380028e7a26bad1828457673fe90befd9cb693c 100644
--- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/DartBasePreferencePage.java
+++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/DartBasePreferencePage.java
@@ -68,6 +68,7 @@ public class DartBasePreferencePage extends PreferencePage implements IWorkbench
   private Button printMarginCheck;
   private Text printMarginText;
   private Button removeTrailingWhitespaceCheck;
+  private Button autoSaveCheck;
   private Text packageRootDir;
   private Text auxDirText;
   private Button enableFolding;
@@ -116,6 +117,9 @@ public class DartBasePreferencePage extends PreferencePage implements IWorkbench
     toolsPreferenceStore.setValue(
         PreferenceConstants.EDITOR_REMOVE_TRAILING_WS,
         removeTrailingWhitespaceCheck.getSelection());
+    toolsPreferenceStore.setValue(
+        PreferenceConstants.EDITOR_AUTO_SAVE,
+        autoSaveCheck.getSelection());
     handleSave(toolsPreferenceStore);
 
     List<File> packageRoots = new ArrayList<File>();
@@ -212,6 +216,12 @@ public class DartBasePreferencePage extends PreferencePage implements IWorkbench
         PreferencesMessages.DartBasePreferencePage_trailing_ws_details);
     GridDataFactory.fillDefaults().applyTo(removeTrailingWhitespaceCheck);
 
+    autoSaveCheck = createCheckBox(
+        saveGroup,
+        PreferencesMessages.DartBasePreferencePage_auto_save_label,
+        PreferencesMessages.DartBasePreferencePage_auto_save_details);
+    GridDataFactory.fillDefaults().applyTo(autoSaveCheck);
+
     createDirectorySettings(composite);
 
     initFromPrefs();
@@ -313,6 +323,7 @@ public class DartBasePreferencePage extends PreferencePage implements IWorkbench
     printMarginText.setEnabled(printMarginCheck.getSelection());
 
     removeTrailingWhitespaceCheck.setSelection(toolsPreferences.getBoolean(PreferenceConstants.EDITOR_REMOVE_TRAILING_WS));
+    autoSaveCheck.setSelection(toolsPreferences.getBoolean(PreferenceConstants.EDITOR_AUTO_SAVE));
     enableFolding.setSelection(toolsPreferences.getBoolean(PreferenceConstants.EDITOR_FOLDING_ENABLED));
 
     IEclipsePreferences prefs = DartCore.getPlugin().getPrefs();