#FEATURE by mawalch
authormawalch
Thu, 24 Nov 2016 15:43:40 +0100
changeset 21031 44d5bfdb4f58
parent 21030 4dba22c05301
child 21032 499174d72844
#FEATURE by mawalch class: UserPreferences comment/format in: #onlyShowTooltipsForActiveWindow
UserPreferences.st
--- a/UserPreferences.st	Thu Nov 24 14:00:28 2016 +0100
+++ b/UserPreferences.st	Thu Nov 24 15:43:40 2016 +0100
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 1998 by eXept Software AG
 	      All Rights Reserved
@@ -2252,6 +2250,7 @@
 
     "
      UserPreferences current onlyShowTooltipsForActiveWindow
+     UserPreferences current onlyShowTooltipsForActiveWindow:false
     "
 !