Giovanni Campagna d942e255f7 user-theme: fix resetting theme to null ...

Previously null stylesheets were ignored, making it impossible to
reset the default. We still need to filter out invalid (non existing)
stylesheets, as no check is performed by shell code.

2011-05-02 18:07:39 +02:00

..

alternate-tab

Revert "Mark extensions that require only public API"

2011-04-26 01:17:23 +02:00

alternative-status-menu

StatusMenu: update to latest GNOME Shell API

2011-04-26 15:35:44 +02:00

auto-move-windows

Add url property in the metadata

2011-02-26 16:41:52 +01:00

dock

Revert "Mark extensions that require only public API"

2011-04-26 01:17:23 +02:00

drive-menu

New extension: Removable Drive Menu

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

example

Revert "Mark extensions that require only public API"

2011-04-26 01:17:23 +02:00

gajim

Revert "Mark extensions that require only public API"

2011-04-26 01:17:23 +02:00

user-theme

user-theme: fix resetting theme to null

2011-05-02 18:07:39 +02:00

windowsNavigator

windowsNavigator: correct restore focus

2011-03-26 18:48:26 +03:00

xrandr-indicator

Revert "Mark extensions that require only public API"

2011-04-26 01:17:23 +02:00

Makefile.am

New extension: Removable Drive Menu

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