a9a513c621
To support scheduling performance-measurement scripts that want to run a number of actions in series, add shell_global_run_at_leisure() to run a callback when all work is finished. The initial implementation of this is not that accurate: we track business in Tweener.js via new shell_global_begin_work(), shell_global_end_work() functions, and we also handle the case where the main loop is continually busy. https://bugzilla.gnome.org/show_bug.cgi?id=618189
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.