Last Edited by: Frank Crow, October 8, 1984 12:53:47 pm PDT

Terminal     USING [BitmapState, ChannelsVisible, ColorMode, Virtual],

VM      USING [Interval, nullInterval];

Set color display up: Height, Width and Bitmap may be provided if desired

newState: Terminal.BitmapState,

newMode: Terminal.ColorMode,

newVisibility: Terminal.ChannelsVisible,

widthA, heightA, widthB, heightB: NAT ← 0,

vMem: VM.Interval ← VM.nullInterval

]

RETURNS [

oldState: Terminal.BitmapState,

oldMode: Terminal.ColorMode, oldVisibility: Terminal.ChannelsVisible

];