--- a/UserPreferences.st	Thu Oct 26 16:08:48 2017 +0200
+++ b/UserPreferences.st	Wed Nov 01 11:26:28 2017 +0100
@@ -1762,6 +1762,26 @@
     "
 !
 
+busyBackgroundColorInDoits
+    "if non nil, that color is shown as background in editors while 
+     performing a doit (i.e. in addition to showing a busy cursor).
+     If nil is returned, the color remains unchanged."
+
+    ^ self at:#busyBackgroundColorInDoits ifAbsent:[ Color red lightened lightened lightened ]
+
+    "Created: / 01-11-2017 / 11:25:02 / cg"
+!
+
+busyBackgroundColorInDoits:aColorOrNil
+    "if non nil, that color is shown as background in editors while 
+     performing a doit (i.e. in addition to showing a busy cursor).
+     If nil is returned, the color remains unchanged."
+
+    self at:#busyBackgroundColorInDoits put:aColorOrNil.
+
+    "Created: / 01-11-2017 / 11:25:38 / cg"
+!
+
 button2WithAltKey
     "if true, an ALT-left click is translated to a right click
      Useful with 1-button mice"