author | Claus Gittinger <cg@exept.de> |
Fri, 20 Jan 2017 23:06:27 +0100 | |
changeset 7778 | b88c63d76636 |
parent 1951 | 5290a36652db |
permissions | -rw-r--r-- |
; View defaultStyle:#'informatik' ; ; example for a very small change ; - like iris style, but slightly brighter ; #include 'iris.style' comment 'like `iris'';\\with brighter colors (better on some VGAs)' #if (Language == #german) or:[Language == #de] comment 'Wie `iris'' Stil mit helleren Farben\(besser auf vielen VGA Monitoren).' #endif viewGrey Color grey:80 viewBackground =viewGrey scroller.thumbColor =viewGrey ; textSelection.backgroundColor Color grey:80