Hello, how does one go about changing the font size in WinHugs? Please reply by mail, as I do not subscribe to this list. Kind regards, Markus L. Noga --- Markus L. Noga Program Structures Group Universität Karlsruhe