gnome-shell

History

Giovanni Campagna fe7ece1f5a NetworkMenu: use radio items instead of switches for multiple profiles

Multiple connections for the same device are mutually exclusive, so
a switch is not the appropriate UI metaphor. Use a radio item instead,
and provide a separate "Turn off" item to disconnect.
Behavior when there is only one connection is not changed, there
is a single Connect/Turn off item.

https://bugzilla.gnome.org/show_bug.cgi?id=723570

2014-02-17 20:44:58 +01:00

extensionPrefs

Synchronize shell startup

2013-11-04 11:50:20 -05:00

gdm

loginDialog: move user list loading after actors are constructed

2014-01-13 12:42:39 -05:00

misc

make NetworkManager optional

2014-02-11 18:04:44 -05:00

perf

…