stop button

[John Birch]

On Tue, 04 Jul 2000, you wrote:
> 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.

What about raising an event - (I think I saw something about that in the 
docs) Then the part is responsible for stopping (or not as the case may be)

jbb