On 03/16/2009 10:58 AM, fred smith wrote: > On Mon, Mar 16, 2009 at 11:53:10AM +0100, Antonio M wrote: > > I've seen this on my F10 system too (eeepc 901). It comes and goes. If I > log off and back on most likely it will be right the next time. I'm using > Gnome, BTW. > > There are other odd intermittent things that go wrong, too. One of them is > that sometimes the font size for the window title reverts to the gigantic > font that is the default size. Again, log off and back on will USUALLY fix it > When it is in that bad state, looking at the font size configuration shows the > size I've previously chosen, NOT the size it is actually displaying. > I have seen both of these as well - once it was after some updates. The other time was not. -- fedora-list mailing list fedora-list@xxxxxxxxxx To unsubscribe: https://www.redhat.com/mailman/listinfo/fedora-list Guidelines: http://fedoraproject.org/wiki/Communicate/MailingListGuidelines
