From: Ethan A M. <merritt@u.washington.edu> - 2004-08-20 06:12:16
|
On Thursday 19 August 2004 10:55 pm, mi...@ph... wrote: > Exactly. Setting "enhanced" could be the first candidate of its use. > Second could be "font 'Helvetica' 12". I'm right with you. I added both these, and updated enhancedtext.dem to use the new command. It's in CVS already, although it is possible that more error-checking is needed. There really aren't that many options that currently apply to multiple terminal types. For instance, I think "set term <foo> linewidth <n>" would be nice in general, but so far it only works for PostScript. -- Ethan A Merritt Department of Biochemistry & Biomolecular Structure Center University of Washington, Seattle |