--- a/UserPreferences.st Thu Oct 10 22:09:17 2019 +0200
+++ b/UserPreferences.st Thu Oct 10 22:15:24 2019 +0200
@@ -6421,11 +6421,16 @@
flyByHelpSettingChanged
FlyByHelp notNil ifTrue:[
- (self at:#flyByHelpActive ifAbsent:true) ifTrue:[
- FlyByHelp start.
- ] ifFalse:[
- FlyByHelp stop.
- ].
+ (self at:#flyByHelpActive ifAbsent:true) ifTrue:[
+ FlyByHelp start.
+ ] ifFalse:[
+ FlyByHelp stop.
+ ].
+ ].
+ ActiveHelp notNil ifTrue:[
+ (self at:#flyByHelpActive ifAbsent:true) ifFalse:[
+ ActiveHelp stop.
+ ].
].
! !