<snip> >Sometimes a tool to forcibly terminate a running script would come very handy, too. Maybe a combined "Start/Stop" button or something alike.
I found myself looking for the "stop" button just yesterday ;-). As long as we're on the subject, would it be possible to add a facility to increase/decrease the indenting on a block of code? I like gretl's semi-automatic "smart indenting", but there are times (eg, creating an outer loop around an existing block of code) that it doesn't work. FWIW, PS On 08/01/2011 11:50 PM, Cottrell, Allin wrote: > On Sat, Jul 30, 2011 at 5:58 PM, Henrique Andrade > <henrique.coelho(a)gmail.com> wrote: >> Dear Gretl Team, >> >> Today a colleague asked me where she could find the buttons "cut" and "redo" >> in the script editor window. >> >> I think it would be nice to have these buttons. What do you think? > > They're now added in CVS. > > Allin _______________________________________________ Gretl-users mailing list Gretl-users(a)lists.wfu.edu http://lists.wfu.edu/mailman/listinfo/gretl-users