Re: jed 0.99-17 looks good

["John E. Davis" <davis@xxxxxxxxxxxxx>]

G. Milde <g.milde@xxxxxx> wrote:
>Maybe a library function working similar to tic() / toc() would do instead:

The nice thing about your suggestion is that one can apply it now
without waiting for a new version.

What I am proposing would require some changes to slang but may be
worth the effort.  The idea is to create a mechanism that allows a
user-defined function to be called at the beginning and end of
every statement.  One can use such callbacks for a number of things,
including a check to see if something was left on the stack.  Another
use might be a profile callback for timing the execution of
statements.  I can imagine other uses as well.

Thanks,
--John

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.