Re: [wjed] How to change font size

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

=?UTF-8?Q?J=C3=B6rg?= Sommer <joerg@xxxxxxxxxxxx> wrote:
>How do you will override the intrinsic functions? Does slang allow
>reâ??definition of intrinsic functions?

No.  I will rename the intrinsic ones from menu_* to, e.g., tt_menu_*
and then by default use wrappers such as:

    define menu_append_popup ()
    {
       variable args = __pop_args (_NARGS);
       tt_menu_append_popup (__push_args(args));
    }

--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>.