Merge jv
authorMerge Script
Sun, 26 Jul 2015 06:44:00 +0200
branchjv
changeset 18642 793711fd33f5
parent 18640 358b275dced9 (current diff)
parent 18641 95284fb28b6b (diff)
child 18644 dc005b63c7f1
child 18647 150dc88f66f5
Merge
UserPreferences.st
--- a/UserPreferences.st	Sat Jul 25 06:39:11 2015 +0200
+++ b/UserPreferences.st	Sun Jul 26 06:44:00 2015 +0200
@@ -4728,10 +4728,10 @@
 
     self at:#autoRaiseTranscript put:aBoolean.
     (self == UserPreferences current) ifTrue:[
-	transcript := Transcript current.
-	(transcript notNil and:[transcript isExternalStream not]) ifTrue:[
-	    transcript autoRaise:aBoolean.
-	].
+        transcript := Transcript current.
+        (transcript notNil and:[transcript isTextCollector]) ifTrue:[
+            transcript autoRaise:aBoolean.
+        ].
     ].
 
     "