mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-17 23:24:51 +00:00
Icons inside the menu are updated only for device state change, but for the main device they also depend on connectivity (which is a global property). Add a public method to force an update of the icon, and call it when connectivity changes. https://bugzilla.gnome.org/show_bug.cgi?id=726401 |
||
|---|---|---|
| .. | ||
| extensionPrefs | ||
| gdm | ||
| misc | ||
| perf | ||
| ui | ||
| js-resources.gresource.xml | ||
| Makefile.am | ||