Giovanni Campagna c49c20fe38 user-theme: fix enable after disable ...

In disable(), _settings was cleared, despite being created in
init(), therefore a subsequent enable() would find it null.

2012-01-11 17:41:28 +01:00

..

alternate-tab

alternate-tab: update for mutter API change

2011-11-22 09:11:22 +01:00

alternative-status-menu

alternative-status-menu: make it coexist with other extensions

2011-12-27 15:28:24 +01:00

apps-menu

Bump version to 3.3.2

2011-11-22 09:11:46 +01:00

auto-move-windows

Remove all references to localedir from metadata.json

2011-11-20 00:40:20 +01:00

dock

dock: dispose of settings before getting rid of it

2011-12-22 15:15:16 +01:00

drive-menu

drive-menu: use media-eject icon instead of media-optical

2011-12-08 23:07:17 +01:00

example

Bump version to 3.3.2

2011-11-22 09:11:46 +01:00

gajim

Bump version to 3.3.2

2011-11-22 09:11:46 +01:00

native-window-placement

native-window-placement: update for latest gnome-shell changes

2011-12-22 18:07:47 +01:00

places-menu

Fix translations

2011-12-27 15:28:24 +01:00

systemMonitor

Bump version to 3.3.2

2011-11-22 09:11:46 +01:00

user-theme

user-theme: fix enable after disable

2012-01-11 17:41:28 +01:00

windowsNavigator

windowsNavigator: fix switching with azerty keyboards

2011-12-01 17:05:29 +01:00

workspace-indicator

Changed workspace indicator to use less panel space by displaying only high-lighted workspace number on panel.

2011-12-14 00:08:29 +01:00

xrandr-indicator

Bump version to 3.3.2

2011-11-22 09:11:46 +01:00

Makefile.am

New extension: Removable Drive Menu

2011-04-26 01:21:53 +02:00