Florian Müllner 8bad8a3b63 window-list: Don't use 'panel-menu' class in bottom panel ...

Menus in the top bar have some margin at the bottom, to prevent
menus to extend all the way to the bottom edge as the expand; we
obviously don't want the same behavior in the window-list at the
bottom, so stop pretending to be a top bar menu.

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

2015-03-10 14:27:16 +01:00

..

alternate-tab

Update for KeyBindingMode => ActionMode change

2014-12-19 16:13:29 +01:00

apps-menu

apps-menu: Make it a bit narrower

2015-03-06 17:28:01 +01:00

auto-move-windows

auto-move: Tweak prefs UI

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

drive-menu

drive-menu: Adjust for renamed .desktop file name

2014-11-12 19:53:13 +01:00

example

example: Tweak prefs UI

2014-05-28 01:27:37 +02:00

launch-new-instance

launch-new-instance: Fix warning

2015-03-02 21:05:43 +01:00

native-window-placement

native-window-placement: Fix 'button-layout' schema

2014-06-10 12:26:14 +02:00

places-menu

Skip over XDG directories that cannot be found.

2014-12-02 18:59:30 +01:00

screenshot-window-sizer

Update for KeyBindingMode => ActionMode change

2014-12-19 16:13:29 +01:00

user-theme

Revert "user-theme: Temporarily work around a gnome-shell regression"

2014-11-27 14:49:43 +00:00

window-list

window-list: Don't use 'panel-menu' class in bottom panel

2015-03-10 14:27:16 +01:00

windowsNavigator

windowsNavigator: update for gnome-shell changes

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

workspace-indicator

Stop using deprecated GSettings:schema property

2014-10-07 14:38:12 +02:00

Makefile.am

New extension: Removable Drive Menu

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