Florian Müllner de7fbe5b7d workspace-indicator: Tweak prefs UI ...

- make tree view scrollable when list grows large
 - add some borders
 - use symbolic icons instead of (deprecated) stock items
 - adjust spacing/alignment
 - disable remove button when no item is selected

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

2014-05-28 01:14:42 +02:00

..

alternate-tab

alternate-tab: Tweak pref widget a bit

2014-05-28 01:14:42 +02:00

apps-menu

apps-menu: Fix for gnome-shell master

2013-11-08 16:26:17 +00:00

auto-move-windows

auto-move-windows: Never remove the active workspace

2014-04-24 19:15:43 +02:00

drive-menu

drive-menu: fix interesting check

2014-02-05 01:00:35 +01:00

example

example: add settings and preference dialogs

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

launch-new-instance

launch-new-instances: Drop obsolete signals and callbacks

2014-04-29 01:09:38 +02:00

native-window-placement

Fix a number of undeclared variable warnings

2013-07-30 13:23:47 +02:00

places-menu

places-menu: fix for gnome-shell changes

2014-02-05 17:27:36 +01:00

systemMonitor

systemMonitor: update for gnome-shell master

2013-09-17 10:51:34 +02:00

user-theme

user-theme: look for gnome-shell themes in ~/.local/share too

2013-07-14 15:19:14 +02:00

window-list

window-list: Use Infinity instead of special-casing 0

2014-05-27 19:27:43 +02:00

windowsNavigator

windowsNavigator: update for gnome-shell changes

2013-09-03 10:36:31 +02:00

workspace-indicator

workspace-indicator: Tweak prefs UI

2014-05-28 01:14:42 +02:00

Makefile.am

New extension: Removable Drive Menu

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