Hi there,
WinHugs uses a couple of Registry settings to control
what font (and size) to use for its output window. To
adjust these (without resorting to RegEdit), try using
the HugsFont module available via
http://galois.com/~sof/hugs/PowerToys.html
Making this settable via a dialog from within WinHugs
sounds like a worthwhile addition; I'll see what I can do.
hth
--sigbjorn
----- Original Message -----
From: "Peter Wentworth"
Hi,
I'm not sure who maintains WinHugs, but I have a specific feature request: namely that the fonts in the window be selectable.
I occasionally like to demo something in the classroom. Being able to set font sizes larger is most useful. The workaround, (using the magnifier toos for visually impaired) is very awkward. So it suggests that settable fonts would also help anyone who might be visually impaired.
peter