Work area in F10

[Mail Lists]

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.