UserPreferences.st
branchjv
changeset 18642 793711fd33f5
parent 18561 73656aba2c89
parent 18641 95284fb28b6b
child 18644 dc005b63c7f1
--- 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.
+        ].
     ].
 
     "