next up previous contents index
Next: Colors Up: Windows Previous: window_width

See also redisplay()7.3.8 page gif), filename()7.3.8 page gif) and set_font()7.3.8 page gif).



Lionel Fournigault
Mon Dec 15 10:53:26 MET 1997