Re: [wjed] How to change font size

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hallo John,

"John E. Davis" <davis@xxxxxxxxxxxxx> wrote:
> =?UTF-8?Q?J=C3=B6rg?= Sommer <joerg@xxxxxxxxxxxx> wrote:
>>BTW: Why the w32_*menu* functions do not replace the internal menu
>>functions?
>
> In a sense the w32 menu functions are lower-level than the menu_*
> functions.  Ultimately I would like to make the menu_* functions
> wrappers around the system-specific menu functions, e.g.,
>
>    #ifdef WINGUI
>    define lookup_handle (name) {...}
>    define register_handle (name, handle) {...}
>    define delete_handle (name) {...}
>
>    define menu_append_popup (parent, popup)
>    {
>       variable hparent = lookup_handle (parent);
>       variable hpopup = w32_create_popup_menu ();
>       register_handle (parent + "." + popup, hpopup);
>       w32_append_popup_menu (hparent, popup, hpopup);
>    }
>    #endif

How do you will override the intrinsic functions? Does slang allow
re‐definition of intrinsic functions?

Bye, Jörg.
-- 
Wer eher stirbt ist länger tot.
    	 	    	       			(Un B. Kant)

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