gnome-shell/js
Bastien Nocera 6557ae0a2b portalHelper: Simplify our non-use of cache
Instead of using directories that we'll destroy when done, use the new
"ephemeral" data manager feature, through the JavaScript version of:
webkit_web_context_new_ephemeral()

We also throw an error on startup, in the logs, if WebKitGTK is too old.

https://bugzilla.gnome.org/show_bug.cgi?id=780453
2017-03-28 14:18:25 +02:00
..
extensionPrefs extensionPrefs: Tweak UI 2017-02-15 23:20:14 +01:00
gdm gdm: Handle absence of Fprint.Manager service 2017-03-20 19:02:07 +01:00
misc weather: Follow GNOME Weather's location permissions 2017-03-20 19:13:20 +01:00
perf Revert accidental commit "Test stuff" 2014-09-03 13:47:18 -04:00
portalHelper portalHelper: Simplify our non-use of cache 2017-03-28 14:18:25 +02:00
ui viewSelector: Set correct arguments on ShowOverviewAction 'activate' signal 2017-03-21 17:53:36 +00:00
js-resources.gresource.xml location: Split out PermissionStore 2017-03-20 19:02:08 +01:00
Makefile.am Use the versioned libmutter*.so versions 2017-02-14 11:23:09 +08:00