RE: [wjed] How to change font size

["Olesen, Mark" <Mark.Olesen@xxxxxxxxxxxxxxxx>]

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

If anyone else is keen on trying the same for X11, the menubar system from
rxvt & Co. would provide a slim menu system for xjed (uses plain xlib calls
without any widget set). It needs a bit of polishing up to get rid of the
dreary Motif-style colours.
Of course, if the author could remember how the internals worked it would
help too ;-)

/mark
This e-mail message and any attachments may contain 
legally privileged, confidential or proprietary Information, or 
information otherwise protected by law of ArvinMeritor, Inc., 
its affiliates, or third parties. This notice serves as marking of 
its ?Confidential? status as defined in any confidentiality 
agreements concerning the sender and recipient. If you are 
not the intended recipient(s), or the employee or agent 
responsible for delivery of this message to the intended 
recipient(s), you are hereby notified that any dissemination, 
distribution or copying of this e-mail message is strictly 
prohibited. If you have received this message in error, please 
immediately notify the sender and delete this e-mail message 
from your computer.


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