Path: utzoo!mnetor!uunet!husc6!yale!cmcl2!nrl-cmf!ames!pasteur!ucbvax!SUMEX-AIM.STANFORD.EDU!SOTOS
From: SOTOS@SUMEX-AIM.STANFORD.EDU (John Sotos)
Newsgroups: comp.sys.xerox
Subject: Changing window-title fonts
Message-ID: <12375563670.95.SOTOS@SUMEX-AIM.Stanford.EDU>
Date: 18 Feb 88 00:41:36 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 11



Does anyone know how [in Koto] to change the font
of a window's title bar?  I fought with this months
ago, decided I didn't need it, but now have no way
around it.

Thanks in advance.

John
-------