author | Claus Gittinger <cg@exept.de> |
Mon, 15 Jul 2019 15:39:44 +0200 | |
changeset 8731 | 5506d148b369 |
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