display.rc
changeset 1319 e7139ef2e8af
parent 1317 88f708ec8a14
child 1343 405223afdc32
equal deleted inserted replaced
1318:e9fbcd98cb2b 1319:e7139ef2e8af
   226   ].
   226   ].
   227 ].
   227 ].
   228 
   228 
   229 display isNil ifTrue:[
   229 display isNil ifTrue:[
   230     'display.rc [warning]: cannot determine display I am running on' errorPrintCR.
   230     'display.rc [warning]: cannot determine display I am running on' errorPrintCR.
       
   231     ^ self.
   231 ] ifFalse:[
   232 ] ifFalse:[
   232     "
   233     "
   233      if there is a corresponding file d_<displayName>.rc ...
   234      if there is a corresponding file d_<displayName>.rc ...
   234      thats the one to take.
   235      thats the one to take.
   235     "
   236     "
   440  * if he/she'd like to have the style changed.
   441  * if he/she'd like to have the style changed.
   441  *"
   442  *"
   442 |currentScreen|
   443 |currentScreen|
   443 
   444 
   444 currentScreen := Screen current.
   445 currentScreen := Screen current.
   445 currentScreen == Screen default ifTrue:[
   446 (currentScreen notNil and:[ currentScreen == Screen default]) ifTrue:[
   446     |depthChange colorChange greyChange reconfigure|
   447     |depthChange colorChange greyChange reconfigure|
   447 
   448 
   448     depthChange := false.
   449     depthChange := false.
   449     colorChange := false.
   450     colorChange := false.
   450     greyChange := false.
   451     greyChange := false.