*** empty log message ***
authorClaus Gittinger <cg@exept.de>
Tue, 17 Dec 2019 17:41:19 +0100
changeset 8932 95551149aa72
parent 8931 440c024f32c0
child 8933 d9c355e4abfb
*** empty log message ***
styles/macosx_yosemite.style
--- a/styles/macosx_yosemite.style	Sun Dec 15 03:50:11 2019 +0100
+++ b/styles/macosx_yosemite.style	Tue Dec 17 17:41:19 2019 +0100
@@ -139,6 +139,7 @@
 ; scrollBar.hideIfPointerOutside      true
 scrollableView.level                0
 scrolledView.level                  0
+scrollBar.hideIfPointerOutside      true
 
 arrowButton.backgroundColor         =scroller.viewBackground
 arrowButton.activeBackgroundColor   =scroller.viewBackground