8d1b7962d8
Commit 64b2b4a7d4 changed the monitor layout handling, resulting in some layout errors due to a subtle change in memory handling: when zooming a window in the overview, the available zoom area is calculated by subtracting the panel height from the primary monitor area. This area used to be a copy of the monitor rect, but as now the rect itself is returned, zooming a window on the primary monitor repeatedly modifies the monitor rect, leading to layout errors in various parts of the shell. Fix by using a copy when calculating the available zoom area. https://bugzilla.gnome.org/show_bug.cgi?id=654105
GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to provide a visually attractive and easy to use experience. For more information about GNOME Shell, including instructions on how to build GNOME Shell from source and how to get involved with the project, see: http://live.gnome.org/GnomeShell Bugs should be reported at http://bugzilla.gnome.org against the 'gnome-shell' product. License ======= GNOME Shell is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.