This bug had already been reported upstream: http://bugzilla.gnome.org/show_bug.cgi?id=581422
Upgrading gnome-panel to 2.26 partially solves this issue. If you have a panel with hide buttons and you click one of them, any maximized windows will not be updated. They all stay with the same size, and an "empty" space will be where the panel was. This also happens if you add a panel and change it from the top to, eg, the right - the windows will still be maximized as if a top panel was present, leaving an empty space, and their right side will be hidden behind the new panel. Regards, Luís Picciochi -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
