Task: tvinit
Purpose: Initialize a TV device
Categories: visual display
TVINIT is a MIRIAD/Werong task which initializes a TV device. These
initializations clear the screen, set pan, zoom and colour lookup
table to their defaults.
Key: server
The TV device. No default. See the Users Manual for information
on how to specify this.