changeset 8082 | dd2850cfa80b |
parent 8045 | 9dd4f9fe5ca3 |
child 8378 | c78a88405eba |
--- a/styles/macosx_yosemite.style Thu Aug 17 10:13:38 2017 +0200 +++ b/styles/macosx_yosemite.style Thu Aug 17 12:48:57 2017 +0200 @@ -163,5 +163,5 @@ launcher.editorLevel 0 -textCursor.noFocusForegroundColor (Color gray:80) +textCursor.noFocusForegroundColor (Color gray:70) ;; textCursor.noFocusForegroundColor (Color white)