styles/mswindows10.style
changeset 8941 df352d8d9cfb
parent 8940 81a5ccd9a4cf
child 8943 3bafdad0a4ce
equal deleted inserted replaced
8940:81a5ccd9a4cf 8941:df352d8d9cfb
    21 ;
    21 ;
    22 
    22 
    23 menu.enteredLevel               0
    23 menu.enteredLevel               0
    24 scrollableView.level                0
    24 scrollableView.level                0
    25 scrolledView.level                  0
    25 scrolledView.level                  0
    26 scrollBar.hideIfPointerOutside      true
    26 ; scrollBar.hideIfPointerOutside      true