#UI_ENHANCEMENT
authorClaus Gittinger <cg@exept.de>
Tue, 06 Oct 2015 17:44:06 +0200
changeset 6991 8271065cb89a
parent 6990 38173433192e
child 6992 498b1d7e697e
#UI_ENHANCEMENT class: FontDescription changed: #=
FontDescription.st
--- a/FontDescription.st	Tue Oct 06 17:20:44 2015 +0200
+++ b/FontDescription.st	Tue Oct 06 17:44:06 2015 +0200
@@ -935,8 +935,10 @@
     (face = aFont face) ifFalse:[^ false].  
     (style = aFont style) ifFalse:[^ false].  
     (encoding == aFont encoding) ifFalse:[^ false].  
-    (sizeUnit == aFont sizeUnit) ifFalse:[^ false].  
-    (pixelSize == aFont pixelSize) ifFalse:[^ false].  
+    (sizeUnit == aFont sizeUnit) ifFalse:[^ false].
+    sizeUnit == #px ifTrue:[
+        (pixelSize == aFont pixelSize) ifFalse:[^ false].  
+    ].
     ^ true
 
     "Modified: / 20-05-2014 / 11:18:31 / gg"