Re: grouping available terminals together

[Ethan A M. <merritt@u.washington.edu>]

On Thursday 08 February 2007 20:58, Daniel J Sebald wrote:
> [BTW, can I get any movement on the idea of unifying the output 
> symbols moving from terminal driver to terminal driver?

I thought we did that already.
Which terminals escaped the grand unification?

> How about the "blue" "stars" "dashdot" idea?]  

"blue" we've got.
"stars"? So few terminals could support it that there seems no point.
"dashdot"? Ditto. 

-- 
Ethan A Merritt
Biomolecular Structure Center
University of Washington, Seattle 98195-7742