gnome-shell/js
Giovanni Campagna 35b142f23f NetworkMenu: fix updating connection lists
Ensure that the UI is updated when a connection changes name or id,
even if it was already known by a device.
Also, use less private properties on NMConnection objects, as they
can become stale and cause problems.

https://bugzilla.gnome.org/show_bug.cgi?id=677097
2012-05-31 20:50:02 +02:00
..
extensionPrefs Switch string formatting to the one inside gjs 2012-05-24 15:38:44 -04:00
gdm Refactor show()/hide() sequences 2012-05-02 12:43:58 -04:00
misc extensionUtils: Support subdirectories in getCurrentExtension 2012-05-29 14:36:16 -04:00
perf *.js: Make emacs modelines consistent 2011-10-11 08:05:12 -04:00
ui NetworkMenu: fix updating connection lists 2012-05-31 20:50:02 +02:00
Makefile.am Switch string formatting to the one inside gjs 2012-05-24 15:38:44 -04:00