Re: Changes to gdb-ui.el

[Miles Bader]

I've changed the faces, so I think they should now handle all the
various cases correctly.  I with both light and dark backgrounds, and
both a graphic display and gnome-terminal.

One thing I wonder about -- when displaying something in the fringe on
a graphic display you must :inherit `fringe' to get the background
correct (otherwise it uses the `default' background); shouldn't
redisplay merge any face used in the fringe withh the `fringe' face
during display?

-Miles
-- 
Do not taunt Happy Fun Ball.