branch | jv |
changeset 5665 | a28ccea0dc36 |
parent 5649 | 6f57a64ccaa1 |
parent 5661 | 29bab6b278bf |
child 5679 | 5519ee470b20 |
--- a/ListView.st Wed Apr 13 09:24:13 2016 +0100 +++ b/ListView.st Fri Apr 15 06:50:58 2016 +0200 @@ -1,5 +1,3 @@ -"{ Encoding: utf8 }" - " COPYRIGHT (c) 1989 by Claus Gittinger All Rights Reserved @@ -2502,7 +2500,7 @@ lineSpacing := 2. "/ q&d temporary hack. "/ X11 fonts are currently so ugly... add more spacing. - device platformName = #X11 ifTrue:[ + device platformName == #X11 ifTrue:[ lineSpacing := lineSpacing + 3. ]. fgColor := DefaultForegroundColor.