changeset 21031 | 44d5bfdb4f58 |
parent 20872 | 7e6390bf67a5 |
child 21041 | 76b15013e62c |
--- 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 " !