--- a/SelectionInListView.st Tue Jan 14 16:31:16 2014 +0100
+++ b/SelectionInListView.st Tue Jan 14 16:31:46 2014 +0100
@@ -2859,7 +2859,7 @@
#hack.
"/ q&d temporary hack.
"/ X11 fonts are currently so ugly... add more spacing.
- Display platformName = #X11 ifTrue:[
+ device platformName = #X11 ifTrue:[
lineSpacing := lineSpacing + 3.
].
hilightFgColor isNil ifTrue:[
@@ -4137,10 +4137,10 @@
!SelectionInListView class methodsFor:'documentation'!
version
- ^ '$Header: /cvs/stx/stx/libwidg/SelectionInListView.st,v 1.271 2013-09-09 10:50:53 cg Exp $'
+ ^ '$Header: /cvs/stx/stx/libwidg/SelectionInListView.st,v 1.272 2014-01-14 15:31:46 stefan Exp $'
!
version_CVS
- ^ '$Header: /cvs/stx/stx/libwidg/SelectionInListView.st,v 1.271 2013-09-09 10:50:53 cg Exp $'
+ ^ '$Header: /cvs/stx/stx/libwidg/SelectionInListView.st,v 1.272 2014-01-14 15:31:46 stefan Exp $'
! !