Next:
Colors
Up:
Windows
Previous:
window_width
See also
redisplay()
(§
7.3.8
page
),
filename()
(§
7.3.8
page
) and
set_font()
(§
7.3.8
page
).
Lionel Fournigault
Mon Dec 15 10:53:26 MET 1997
), filename()
(§7.3.8 page ) and set_font() (§7.3.8 page ).