<> <> DIRECTORY Terminal USING [BitmapState, ChannelsVisible, ColorMode, Virtual], VM USING [Interval, nullInterval]; TerminalColorExtras: CEDAR DEFINITIONS = BEGIN <<>> <> SetColorBitmapState: PUBLIC PROC [vt: Terminal.Virtual, newState: Terminal.BitmapState, newMode: Terminal.ColorMode, newVisibility: Terminal.ChannelsVisible, width, height: NAT _ 0, vMem: VM.Interval _ VM.nullInterval ] RETURNS [ oldState: Terminal.BitmapState, oldMode: Terminal.ColorMode, oldVisibility: Terminal.ChannelsVisible ]; END.