stop button

[Sandy Meier]

Am Mon, 03 Jul 2000 schrieben Sie:
> What should the stop button do?
> 
> 1) Stop a compilation
> 2) Stop a program run
> 3) Stop a program run in the debugger
> 4) Stop a full text search
> 5) Stop a grep
> 
> or any combination of these :-)
> 

I think a "Stop" should stop everything.  If not we must provide 4-5
Stopbuttons, and I my opinion this isn't a good idea. 

Ciao!
Sandy