[Geany-devel] Killing Builds
thomas.martitz at xxxxx
Tue Aug 18 23:34:46 UTC 2009
Lex Trotman schrieb:
> Urm Thomas' post just came through, I guess showing the terminal is an
> issue with execute menu items, although it ensures that there is
> somewhere for panic messages from the script to go.
> Is the kill going to be used that often by most users to make it worth
> adding extra handling?
Can it at least be auto closed, say if the script returned success
More information about the Devel