Andrew Cagney wrote:
> Adam Jocksch wrote:
>>
>> It seems to me that we want all of these to apply to displays as
>> well. Is there any particular reason that we shouldn't do this?
>> Otherwise I'll move ahead and implement them.
>
> I can't think of one :-)  "delete <display-number>" would seem very
> intuitive.

eradicate <display-number> ?
expunge <display-number> ?
eliminate-with-extreme-prejudice <display-number> ?

>
> Andrew
>
>>
>

-- 
Chris Moller

  Java: the blunt scissors of programming languages.
      -- Dave Thomas