changeset 152 | 17cc0709e898 |
parent 144 | cf645a1ebbb3 |
child 309 | 8cc4d0e7b41b |
--- a/styles/iris_light.style Tue Jun 06 06:09:07 1995 +0200 +++ b/styles/iris_light.style Tue Jun 06 06:11:58 1995 +0200 @@ -11,6 +11,6 @@ viewGrey Color grey:80 viewBackground =viewGrey scrollerThumbColor =viewGrey -textSelectionBackgroundColor Color grey:80 +; textSelectionBackgroundColor Color grey:80