Jasper St. Pierre 465c77ddcf network: Make the device field private ...

With getIndicatorIcon() replacing the main use of the .device
field, we can make this a private API.

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

2013-06-14 14:15:17 -04:00

..

extensionPrefs

extensionPrefs: Fix opening extension preferences on startup

2013-02-28 15:37:29 +01:00

gdm

userMenu: Move UserAvatarWidget into UserWidget

2013-06-06 14:00:37 -04:00

misc

Hash: make .size() constant time

2013-05-12 21:06:34 +02:00

perf

perf: Update to latest overlay changes

2012-08-20 20:40:01 +02:00

ui

network: Make the device field private

2013-06-14 14:15:17 -04:00

Makefile.am

slider: Separate PopupSliderMenuItem into its own widget

2013-06-06 14:00:38 -04:00