Cosimo Cecchi 40c2a403ac search: reload search providers when installed applications change ... Otherwise, a shell restart will be required after installing a new application, before its results can be seen in search. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/562		2019-05-29 20:33:16 +00:00
..
extensionPrefs	extensionPrefs: Fix pref button appearance	2019-04-12 00:51:44 +02:00
gdm	js: Throw GObject.NotImplementedError when requiring overriding	2019-05-21 15:43:21 -05:00
misc	modemManager: improve check for CDMA system identifier	2019-05-27 08:36:05 -07:00
perf	perf: Stop using GTK	2019-04-11 17:27:50 +00:00
portalHelper	cleanup: Use destructuring for imports from GI	2019-02-09 07:39:20 +01:00
ui	search: reload search providers when installed applications change	2019-05-29 20:33:16 +00:00
js-resources.gresource.xml	build: Remove remote menu support	2019-02-06 18:29:15 +01:00
meson.build	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml	build: Include params.js in portal-helper gresources	2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00