UserPreferences.st
branchjv
changeset 19968 beb0cbedcd3f
parent 19967 9b1443c2aab1
parent 19965 13ab13cf8d72
child 20131 4118d61ddba0
--- a/UserPreferences.st	Thu Jun 09 01:47:28 2016 +0100
+++ b/UserPreferences.st	Thu Jun 09 08:35:29 2016 +0100
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 1998 by eXept Software AG
 	      All Rights Reserved
@@ -874,6 +872,8 @@
     ^ modified ? false
 ! !
 
+
+
 !UserPreferences methodsFor:'accessing-locale'!
 
 dateInputFormat
@@ -4513,6 +4513,20 @@
     "Created: / 03-07-2006 / 16:50:20 / cg"
 !
 
+generateBackupFileWhenSaving
+    "if true, the editor will write a backup file
+     before saving. The default is true"
+
+    ^ self at:#generateBackupFileWhenSaving ifAbsent:true "false"
+!
+
+generateBackupFileWhenSaving:aBoolean
+    "if true, the editor will write a backup file
+     before saving. The default is true"
+
+    self at:#generateBackupFileWhenSaving put:aBoolean
+!
+
 immediateCodeCompletion
     "show completion, as you type - experimental"