--- a/styles/mswindows10.style Wed Dec 18 22:26:10 2019 +0100 +++ b/styles/mswindows10.style Wed Dec 18 22:26:39 2019 +0100 @@ -23,4 +23,4 @@ menu.enteredLevel 0 scrollableView.level 0 scrolledView.level 0 -scrollBar.hideIfPointerOutside true +; scrollBar.hideIfPointerOutside true