Path: utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!decwrl!decvax!ucbvax!XEROX.COM!denber.wbst
From: denber.wbst@XEROX.COM
Newsgroups: comp.sys.xerox
Subject: Re: Changing window-title fonts
Message-ID: <880218-080914-7072@Xerox>
Date: 18 Feb 88 16:07:00 GMT
References: <lane@SUMEX-AIM.Stanford.EDU>
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 4

You can also call (WINDOWTITLEFONT font).  If called with no arguments, it
returns the current font.

			- Michel