Auto-save for the Dart Editor.

editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/PreferenceConstants.java

Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/PreferenceConstants.java
diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/PreferenceConstants.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/PreferenceConstants.java
index 701787d31420b9b72c2583f01147686841b36a9d..ff584ba3dd485ecb9b65607c3e68bbd1346aaa67 100644
--- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/PreferenceConstants.java
+++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/PreferenceConstants.java
@@ -657,6 +657,14 @@ public class PreferenceConstants {
       + ".removeTrailingWhitespace";
 
   /**
+   * A named preference that controls whether the editor should automatically save the editor.
+   * <p>
+   * Value is of type <code>Boolean</code>.
+   * </p>
+   */
+  public static final String EDITOR_AUTO_SAVE = DartCore.PLUGIN_ID + ".autoSave";
+
+  /**
    * A named preference that controls whether the outline view selection should stay in sync with
    * with the element at the current cursor position.
    * <p>
@@ -3552,6 +3560,8 @@ public class PreferenceConstants {
 
     store.setDefault(PreferenceConstants.EDITOR_REMOVE_TRAILING_WS, false);
 
+    store.setDefault(PreferenceConstants.EDITOR_AUTO_SAVE, false);
+
     int sourceHoverModifier = SWT.MOD2;
     String sourceHoverModifierName = Action.findModifierString(sourceHoverModifier); // Shift
     int nlsHoverModifier = SWT.MOD1 + SWT.MOD3;