Re: [wjed] How to change font size

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hello 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.,
>
> I hope the idea is clear.  This may require a few changes to the
> w32_*menu functions but I do not think it will be too difficult.
> Feel free to explore this approach. :)

Here a first attempt. It does not work, but I think implementation of the
main functions is clear. http://www.minet.uni-jena.de/~joergs/win_menu.sl
What do you think? I ponder if it's good to merge all backend
informations in one structure.

Bye, Jörg.
-- 
Was der Bauer nicht kennt, das frisst er nicht. Würde der Städter kennen,
was er frisst, er würde umgehend Bauer werden.
                                                       Oliver Hassencamp

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