Tools__CodeView2.st
changeset 13565 d1ed707cf6f7
parent 13559 5215c061491c
child 13566 e238ad7e24fc
--- a/Tools__CodeView2.st	Wed Sep 18 16:20:55 2013 +0200
+++ b/Tools__CodeView2.st	Thu Sep 19 15:42:56 2013 +0200
@@ -2387,10 +2387,13 @@
         newColor ifNotNil:[ self paint:newColor ].
     ].
     newFont ~~ oldFont ifTrue:[
+        "/ ensure that the line number lines are not higher than the text lines
         (newFont heightOn:device) > (textView font heightOn:device) ifTrue:[
             newFont := textView font.
         ].
-        self font:newFont
+        newFont ~~ oldFont ifTrue:[
+            self font:newFont
+        ].
     ].
     fontAscent := textView font ascentOn:device.
     fontDescent := textView font descentOn:device.
@@ -3615,15 +3618,15 @@
 !CodeView2 class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libtool/Tools__CodeView2.st,v 1.118 2013-09-18 13:23:44 vrany Exp $'
+    ^ '$Header: /cvs/stx/stx/libtool/Tools__CodeView2.st,v 1.119 2013-09-19 13:42:56 cg Exp $'
 !
 
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libtool/Tools__CodeView2.st,v 1.118 2013-09-18 13:23:44 vrany Exp $'
+    ^ '$Header: /cvs/stx/stx/libtool/Tools__CodeView2.st,v 1.119 2013-09-19 13:42:56 cg Exp $'
 !
 
 version_SVN
-    ^ '$Id: Tools__CodeView2.st,v 1.118 2013-09-18 13:23:44 vrany Exp $'
+    ^ '$Id: Tools__CodeView2.st,v 1.119 2013-09-19 13:42:56 cg Exp $'
 ! !