Winhugs question ...

[Sigbjorn Finne]

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" <p.wentworth@ru.ac.za>
To: <hugs-users@haskell.org>
Sent: Saturday, August 03, 2002 07:17
Subject: Winhugs question ...


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