gnome-shell/js
Jasper St. Pierre 76ea1f4dca search: Make sure to destroy old provider displays when we unregister
When we unregistered providers, like when we refreshed the list of
active remote providers, we would forget to destroy the old provider
display after the fact. This left an empty "skeleton" provider display
still in the search results that would never be filled in. Make sure
to destroy it properly.

https://bugzilla.gnome.org/show_bug.cgi?id=728597
2014-05-10 08:58:39 -05:00
..
extensionPrefs Synchronize shell startup 2013-11-04 11:50:20 -05:00
gdm texture-cache: use scale factor for load_uri_async() 2014-03-28 10:53:01 -07:00
misc loginScreen: reset greeter when coming back to login screen 2014-03-25 10:41:12 -04:00
perf perf: Update to latest overlay changes 2012-08-20 20:40:01 +02:00
ui search: Make sure to destroy old provider displays when we unregister 2014-05-10 08:58:39 -05:00
js-resources.gresource.xml Add indicator for location service being used 2014-01-28 18:39:12 +00:00
Makefile.am make NetworkManager optional 2014-02-11 18:04:44 -05:00