Re: [Gretl-users] New options for the script editor
Sorry for hijacking an existing thread, but I thought it's not worth
starting a new one.
Sometimes a tool to forcibly terminate a running script would come very
handy, too. Maybe a combined "Start/Stop" button or something alike.
Regards,
Vitalie Ciubotaru
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