UserPreferences.st
branchjv
changeset 18642 793711fd33f5
parent 18561 73656aba2c89
parent 18641 95284fb28b6b
child 18644 dc005b63c7f1
equal deleted inserted replaced
18640:358b275dced9 18642:793711fd33f5
  4726 
  4726 
  4727     |transcript|
  4727     |transcript|
  4728 
  4728 
  4729     self at:#autoRaiseTranscript put:aBoolean.
  4729     self at:#autoRaiseTranscript put:aBoolean.
  4730     (self == UserPreferences current) ifTrue:[
  4730     (self == UserPreferences current) ifTrue:[
  4731 	transcript := Transcript current.
  4731         transcript := Transcript current.
  4732 	(transcript notNil and:[transcript isExternalStream not]) ifTrue:[
  4732         (transcript notNil and:[transcript isTextCollector]) ifTrue:[
  4733 	    transcript autoRaise:aBoolean.
  4733             transcript autoRaise:aBoolean.
  4734 	].
  4734         ].
  4735     ].
  4735     ].
  4736 
  4736 
  4737     "
  4737     "
  4738      UserPreferences current autoRaiseTranscript:true
  4738      UserPreferences current autoRaiseTranscript:true
  4739      UserPreferences current autoRaiseTranscript:false
  4739      UserPreferences current autoRaiseTranscript:false