Felipe Borges 0f9ac6088f window-list: Hide workspace indicator when there's 1 workspace ...

There's no need to show the workspace indicator at the right
corner of the window-list if there's just a single workspace
AND the workspace creation is static. This saves us a bit more
of space.

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

2017-01-20 16:31:16 +01:00

..

alternate-tab

alternateTab: Don't take over 'switch-group' shortcuts

2016-11-14 12:30:12 +01:00

apps-menu

apps-menu: Handle .desktop files from non-standard directories

2016-07-13 01:28:56 +02:00

auto-move-windows

build: Say good-bye to intltool

2016-08-19 22:17:07 +02:00

drive-menu

Use a proper arrows instead of UTF8

2015-03-10 19:56:41 +01:00

example

build: Say good-bye to intltool

2016-08-19 22:17:07 +02:00

launch-new-instance

launch-new-instance: Fix warning

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

native-window-placement

build: Say good-bye to intltool

2016-08-19 22:17:07 +02:00

places-menu

places: Include DESKTOP when desktop icons are enabled

2015-09-04 17:50:06 +02:00

screenshot-window-sizer

build: Say good-bye to intltool

2016-08-19 22:17:07 +02:00

user-theme

build: Say good-bye to intltool

2016-08-19 22:17:07 +02:00

window-list

window-list: Hide workspace indicator when there's 1 workspace

2017-01-20 16:31:16 +01:00

windowsNavigator

windowsNavigator: update for gnome-shell changes

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

workspace-indicator

workspace-indicator: Use consistent workspace numbering

2015-07-31 16:47:18 +02:00

Makefile.am

New extension: Removable Drive Menu

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