--- a/styles/mswindows10.style Wed Dec 18 22:27:36 2019 +0100 +++ b/styles/mswindows10.style Wed Dec 18 22:27:50 2019 +0100 @@ -23,4 +23,5 @@ menu.enteredLevel 0 scrollableView.level 0 scrolledView.level 0 +; currently has trouble on win machines ; scrollBar.hideIfPointerOutside true