Tools__CodeView2.st
changeset 17618 bedd937b4de6
parent 17502 d46156d40277
child 17675 a260495128d3
--- a/Tools__CodeView2.st	Fri Aug 11 11:24:12 2017 +0200
+++ b/Tools__CodeView2.st	Sat Aug 12 13:22:07 2017 +0200
@@ -2638,6 +2638,19 @@
     |deltaY numPixels hScrollerHeight|
 
     (changedObject == textView) ifTrue:[
+        something == #pointerInView ifTrue:[
+            ^ self.
+        ].    
+
+        something == #font ifTrue:[
+            |sz|
+            
+            sz := textView font size.
+            self font:(self font asSize:sz).
+            self invalidate.
+            ^ self.
+        ].
+        
         ((something == #sizeOfContents)
         or:[ "false "(something == #visibility)"" ]) ifTrue:[
             self adjustSizeForLongestLine.
@@ -2647,6 +2660,7 @@
             "/ ].
             ^ self.
         ].
+        
         something == #originOfContents ifTrue:[
             aParameter notNil ifTrue:[
                 deltaY := aParameter y.
@@ -2682,8 +2696,8 @@
 
     super update:something with:aParameter from:changedObject
 
-    "Modified (format): / 15-07-2011 / 20:14:04 / cg"
     "Modified: / 14-02-2014 / 12:08:40 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 12-08-2017 / 13:21:08 / cg"
 ! !
 
 !CodeView2::GutterView methodsFor:'event handling'!