Changing window-title fonts

Article View: comp.sys.xerox

Article #455

#455

From: John Sotos
Date: Thu, 18 Feb 1988 00:41

11 lines
592 bytes


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

Technical Details

Message-ID: <12375563670.95.SOTOS@SUMEX-AIM.Stanford.EDU>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!husc6!yale!cmcl2!nrl-cmf!ames!pasteur!ucbvax!SUMEX-AIM.STANFORD.EDU!SOTOS

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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