# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1564052457 -7200
# Node ID 74e5ad248df1b38675235bc22ebb1c416709bb4e
# Parent  30559c1d894da538686cfa4a8c6240d1bcf0ee00
#REFACTORING by cg
class: SelectionInListView
changed: #initStyle

diff -r 30559c1d894d -r 74e5ad248df1 SelectionInListView.st
--- 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