changeset 5661 | 29bab6b278bf |
parent 5617 | 5d91923f148e |
child 5665 | a28ccea0dc36 |
child 5683 | 7027fccb78dd |
--- a/ListView.st Tue Apr 12 16:18:12 2016 +0200 +++ b/ListView.st Thu Apr 14 12:53:21 2016 +0200 @@ -1,5 +1,3 @@ -"{ Encoding: utf8 }" - " COPYRIGHT (c) 1989 by Claus Gittinger All Rights Reserved @@ -2503,7 +2501,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.