--- a/extensions.st Mon Apr 23 19:11:45 2018 +0200
+++ b/extensions.st Mon Apr 23 19:12:51 2018 +0200
@@ -755,6 +755,28 @@
!UserPreferences methodsFor:'accessing-SmallSense'!
+smallSenseElectricEditSupportEnabled
+ ^ self at:#smallSenseElectricEditSupportEnabled ifAbsent:[false]
+
+ "Created: / 23-04-2018 / 17:25:42 / stefan"
+! !
+
+!UserPreferences methodsFor:'accessing-SmallSense'!
+
+smallSenseElectricEditSupportEnabled: aBoolean
+ ^ self at:#smallSenseElectricEditSupportEnabled put: (aBoolean ? false).
+
+ "
+ UserPreferences current smallSenseElectricEditSupportEnabled
+ UserPreferences current smallSenseElectricEditSupportEnabled: true.
+ UserPreferences current smallSenseElectricEditSupportEnabled: false.
+ "
+
+ "Created: / 23-04-2018 / 17:25:16 / stefan"
+! !
+
+!UserPreferences methodsFor:'accessing-SmallSense'!
+
smallSenseEnabled
"Return true if SmallSense is enabled"