Giovanni Campagna 9b04e6f44c PlacesMenu: ignore missing local bookmarks ...

If a local bookmark does not refer to an existing directory, ignore
it instead of showing a broken entry.

2012-11-16 20:29:56 +01:00

..

alternate-tab

alternate-tab: fix a warning about passing 0 to source_remove

2012-10-07 02:08:55 +02:00

alternative-status-menu

alternative-status-menu: update for 3.7

2012-10-26 17:20:41 +02:00

apps-menu

various: update for gnome-shell changes

2012-09-05 00:50:35 +02:00

auto-move-windows

Auto-move-windows: don't manage workspaces if they're not dynamic

2012-09-05 00:50:35 +02:00

drive-menu

DriveMenu: make it independent of PlacesDisplay

2012-10-08 19:42:28 +02:00

example

example: add settings and preference dialogs

2012-02-13 18:55:15 +01:00

native-window-placement

native-window-placement: fix disabling the extension

2012-11-11 19:26:56 +01:00

places-menu

PlacesMenu: ignore missing local bookmarks

2012-11-16 20:29:56 +01:00

systemMonitor

SystemMonitor: left align the indicator container

2012-09-05 00:50:35 +02:00

user-theme

all: port to the new class framework

2012-02-10 15:16:46 +01:00

windowsNavigator

windowsNavigator: update for gnome-shell changes

2012-08-22 16:19:33 +02:00

workspace-indicator

workspace-indicator: remove debug spew

2012-03-01 21:10:41 +01:00

xrandr-indicator

xrandr-indicator: port to 2012

2012-09-05 00:50:35 +02:00

Makefile.am

New extension: Removable Drive Menu

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