Georges Basile Stavracas Neto
06a7ab871f
st/texture-cache: Monitor GtkIconTheme changes
...
The texture cache, right now, only monitors for
complete theme changes. If the contents of the
icon theme change, however, the texture cache
isn't properly invalidated.
This manifests itself as a randomly reproducible
bug when installing an app; the app icon may be
the fallback forever, or as long as something else
updates the icon theme.
Watch for the GtkIconTheme:changed signal, and
evict the texture cache when the theme changes.
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/661
2019-08-02 16:31:39 -03:00
..
2019-05-17 20:24:08 +00:00
2019-07-30 13:58:44 +00:00
2019-08-02 16:31:39 -03:00
2019-07-30 13:58:44 +00:00
2015-05-22 19:03:44 +08:00
2018-08-14 17:28:03 +00:00
2017-07-20 00:20:54 +02:00
2018-04-29 16:15:16 +00:00
2019-06-05 08:15:10 +00:00
2018-08-14 17:28:03 +00:00
2016-02-26 02:06:55 +08:00
2014-01-09 14:59:31 -05:00
2013-05-13 18:34:26 -04:00
2013-05-13 18:34:26 -04:00
2014-01-09 14:59:31 -05:00
2014-01-09 14:59:31 -05:00
2019-07-20 16:45:49 +08:00
2019-07-29 17:51:14 +02:00
2014-11-27 10:59:55 +00:00
2017-04-07 22:30:35 +08:00
2015-02-26 01:41:18 +01:00
2018-11-23 13:58:35 +01:00
2011-09-05 17:29:41 -04:00
2019-01-26 22:55:31 +01:00
2019-01-26 22:55:31 +01:00
2018-11-17 12:08:33 +00:00
2018-11-17 12:08:33 +00:00
2019-07-30 13:58:44 +00:00
2019-02-06 18:29:15 +01:00
2012-07-13 17:28:50 -04:00
2015-10-15 22:58:28 +02:00
2015-10-15 22:58:28 +02:00
2019-06-05 08:15:10 +00:00
2019-07-30 13:58:44 +00:00
2019-07-03 16:37:15 +02:00
2019-07-29 17:51:14 +02:00
2019-07-29 17:51:14 +02:00
2019-06-05 17:59:51 +00:00
2015-10-15 22:58:28 +02:00
2019-04-18 16:33:06 -03:00
2014-08-07 14:49:54 -04:00
2019-07-30 13:58:44 +00:00
2015-10-15 22:58:28 +02:00
2015-10-15 22:58:28 +02:00
2015-10-15 22:58:28 +02:00
2018-01-12 11:48:49 +01:00
2018-01-12 11:48:49 +01:00
2015-09-23 21:32:50 +02:00
2015-10-15 22:58:28 +02:00
2015-10-15 22:58:28 +02:00
2018-11-06 13:05:29 -02:00
2018-11-06 13:05:15 -02:00
2019-07-30 13:58:44 +00:00
2009-10-27 11:27:45 -04:00
2019-07-30 13:58:44 +00:00
2015-10-15 22:58:28 +02:00
2019-04-02 20:28:54 +00:00
2018-07-30 16:55:10 +00:00
2019-07-19 17:43:56 +00:00
2015-10-15 22:58:28 +02:00
2019-01-30 22:50:01 +01:00
2015-10-15 22:58:28 +02:00
2019-07-30 13:58:44 +00:00
2015-10-15 22:58:28 +02:00
2019-03-04 19:57:47 +00:00
2018-07-06 19:56:19 +02:00
2019-04-18 15:40:55 -03:00
2019-03-01 17:12:53 +00:00
2011-09-05 17:29:41 -04:00
2019-07-30 13:58:44 +00:00
2018-11-23 13:58:35 +01:00
2017-08-02 11:27:42 +01:00
2017-08-02 11:27:42 +01:00
2015-10-15 22:58:28 +02:00