128a501b9a
StTextureCache installs file monitors that invalidate caches when contents of the underlying file change. At the moment, the cache uses the Gio.FileMonitorEvent.CHANGED event type to make that determination. However, that is suboptimal for at least two reasons: - while a file is being written to disk, many CHANGED events will be emitted in sequence. That will cause needless cache invalidations, and we will risk loading the file before it's fully loaded. - if an existing file is replaced, e.g. with g_file_replace(), we may not get a CHANGED event but a CREATED one instead, so the cache ends up never getting invalidated. The good news is that in both of those cases GFileMonitor will send a CHANGES_DONE_HINT event after changes have settled, or after the file is replaced. This commit fixes both cases by switching from the CHANGED event to CHANGES_DONE_HINT to determine that a file has in fact changed. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/286 (cherry picked from commit ca3f4cfb41851fec84a68fc334bef2e3e9a552bc)
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: https://wiki.gnome.org/Projects/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.