f54b82f64c
While I've been trying to make the GC kick in more often, I've decided it's a better tradeoff to aggressively GC at "leisure", for multiple reasons. We can and should revisit this at a later time, but basically: * The shell doesn't generate *that* much JS data - garbage collection is very fast here. * Long periods without GC mean we're not calling free() when we could, which in turn makes heap fragmentation much worse. * Ensuring the GC runs at idle makes it much less likely we'll take a random large GC hit in the middle of an animation. https://bugzilla.gnome.org/show_bug.cgi?id=659254
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.