onemorepash
September 7th, 2011, 08:44 AM
Hi all,
Cannot sort out a tiny but quite annoying problem. My window headers do not change until I resize the window (moving it across desktop doesn't help)
E. g. if I switch a tab in Firefox or move to another page, the page title shown in the window header does not change. If I doubleclick the window header, the window changes its size and the header renews. First thought it was a Firefox bug, but than realized it happened to all windows.
Ubuntu 11.04 32-bit, Gnome (2.32.1 by now) as a desktop manager. Regularly install updates, etc. Tried to do the following:
$mv ~/.gnome* ~/gnome-backupThan crtl-alt-backspace. Did not help.
Any ideas?
Cannot sort out a tiny but quite annoying problem. My window headers do not change until I resize the window (moving it across desktop doesn't help)
E. g. if I switch a tab in Firefox or move to another page, the page title shown in the window header does not change. If I doubleclick the window header, the window changes its size and the header renews. First thought it was a Firefox bug, but than realized it happened to all windows.
Ubuntu 11.04 32-bit, Gnome (2.32.1 by now) as a desktop manager. Regularly install updates, etc. Tried to do the following:
$mv ~/.gnome* ~/gnome-backupThan crtl-alt-backspace. Did not help.
Any ideas?