Path: utzoo!attcan!uunet!lll-winken!ames!mailrus!caen.engin.umich.edu!brian
From: brian@caen.engin.umich.edu (Brian Holtz)
Newsgroups: comp.windows.x
Subject: twm bug: in icon manager
Summary: icon manager seems hardwired for 13-pixel-high fonts
Keywords: twm
Message-ID: <421b232a.142c4@retina.engin.umich.edu>
Date: 19 Mar 89 00:22:00 GMT
Distribution: na
Organization: U of M Engineering, Ann Arbor, Mich.
Lines: 4

When I've specified that my IconManagerFont is less than 13 pixels
high (e.g., 6x10), twm copes well enough when windows are added, but 
when they go away it contracts the icon manager's window by the
height of a 13-pixel-high window name.  Has anyone got a fix for this?