*** empty log message *** expecco_19_2_0 expecco_19_2_0_43 expecco_19_2_0_44
authorClaus Gittinger <cg@exept.de>
Wed, 18 Dec 2019 22:26:39 +0100
changeset 8941 df352d8d9cfb
parent 8940 81a5ccd9a4cf
child 8942 05f579fec770
*** empty log message ***
styles/mswindows10.style
--- 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