Re: [Geany-devel] Killing Builds

2009-08-20 Thread Thomas Martitz
Enrico Tröger schrieb: On Wed, 19 Aug 2009 10:06:20 +1000, Lex wrote: Can it at least be auto closed, say if the script returned success (i.e. 0)? Well we *don't* want normal executes to do that,output should be shown even if the program ran successfully, so some configuration is

Re: [Geany-devel] Killing Builds

2009-08-18 Thread Enrico Tröger
On Tue, 18 Aug 2009 11:39:18 +1000, Lex wrote: Hi All, Same to you :). As requested by Enrico, a new thread for discussion of issues around killing builds and UI changes. Thanks. Yes, as you say it, I'm thinking about. We actually could add a separate Stop button for the toolbar and the

Re: [Geany-devel] Killing Builds

2009-08-18 Thread Thomas Martitz
Enrico Tröger schrieb: I fully and completely agree. If necessary this could most probably be done in a plugin or with an external script which is called from within Geany as just another build command or whatever. Then please add a way to surpress the terminal that pops up when executing.

Re: [Geany-devel] Killing Builds

2009-08-18 Thread Lex Trotman
2009/8/19 Enrico Tröger enrico.troe...@uvena.de: On Tue, 18 Aug 2009 11:39:18 +1000, Lex wrote: Hi All, Same to you :). As requested by Enrico, a new thread for discussion of issues around killing builds and UI changes. Thanks. Yes, as you say it, I'm thinking about. We actually could

Re: [Geany-devel] Killing Builds

2009-08-18 Thread Lex Trotman
Can it at least be auto closed, say if the script returned success (i.e. 0)? Well we *don't* want normal executes to do that,output should be shown even if the program ran successfully, so some configuration is needed.  I don't know how easy it would be to do either, it has to work for

[Geany-devel] Killing Builds

2009-08-17 Thread Lex Trotman
Hi All, As requested by Enrico, a new thread for discussion of issues around killing builds and UI changes. I've pasted a little from previous discussions as a seed. I can see that you may want to kill a long build that you started by accident or when you realise you forgot to do something