Re: grouping available terminals together

[Daniel J S. <dan...@ie...>]

Ethan A Merritt wrote:
> 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?

Really?  I wasn't watching list email for a while months back.  Maybe I've missed something here.  I'll investigate.

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

I meant being able to specify the symbol by a name rather than number.  dash-dot is rare?  There seems to be a lot of the terminals with a dash-dot for the "rainbow" demo.

Dan