Re: [Gretl-users] New options for the script editor
<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