[21263] in Athena Bugs

home help back first fref pref prev next nref lref last post

Mozilla random font changes

daemon@ATHENA.MIT.EDU (David Z Maze)
Mon Dec 30 17:17:17 2002

From: David Z Maze <dmaze@MIT.EDU>
To: bugs@mit.edu
Date: Mon, 30 Dec 2002 17:17:15 -0500
Message-ID: <y681y3z179w.fsf@zygorthian-space-raiders.mit.edu>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii

System name:            zygorthian-space-raiders.mit.edu
Type and version:       i686 9.1.18 (with mkserv)
Display type:

Shell:                  /bin/athena/bash (/afs/sipb/project/sipb/bin/zsh?)
Window manager:         openbox (`athdir /afs/sipb/user/dmaze`/openbox)

I routinely use Mozilla on both Solaris and Linux.  Yesterday I was
logged in on a Sun; today I'm logged in under Linux.  If I type in a
URL one character at a time, a box pops down with history and "page
titles".  The page titles, of course, are in mangled Chinese, since I
switched platforms and endians.

The discovery of the day is that, if I type in a URL one character at
a time, every couple of characters the font of the URLs in the
drop-down box changes.  Sometimes this happens in the middle of the
drop-down list.  When this happens, the font of the entire Mozilla UI
seems to change (and in particular, the text cursor position changes
to be at the correct position in the new font), but since a redraw
hasn't happened, there's no other visible change.  If I force a redraw
(by switching workspaces in my window manager), I see the new font
globally.

-- 
David Maze             dmaze@mit.edu          http://www.mit.edu/~dmaze/
"Theoretical politics is interesting.  Politicking should be illegal."
	-- Abra Mitchell


home help back first fref pref prev next nref lref last post