--- a/SelectionInListView.st	Wed Jul 24 07:59:33 2019 +0200
+++ b/SelectionInListView.st	Thu Jul 25 13:00:57 2019 +0200
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 1989 by Claus Gittinger
 	      All Rights Reserved
@@ -2964,7 +2962,7 @@
     #hack.
     "/ q&d temporary hack.
     "/ X11 fonts are currently so ugly... add more spacing.
-    device platformName == #X11 ifTrue:[
+    device isX11Platform ifTrue:[
         lineSpacing := lineSpacing + 3.
     ].
     hilightFgColor isNil ifTrue:[
@@ -2989,6 +2987,7 @@
 
     "Modified: / 05-08-1998 / 00:00:00 / cg"
     "Modified (comment): / 05-10-2011 / 15:50:50 / az"
+    "Modified: / 25-07-2019 / 12:31:49 / Claus Gittinger"
 !
 
 initialize