Garst R. Reese Fri, 17 May 2002 06:35:52 -0700
Herbert Voss wrote: > textheight% and paperheight% maybe better, but than we have to > change the width of most gui-choices. How about:
text%ht paper%ht or page%ht Garst