linuxmint/Cinnamon — pull request #1455 by autarkper (2012-12-01 19:34:14+00:00)
Title: [Window Manager] Automatically show Workspace OSD when the active workspace changes

This removes the need to call windowManager.showWorkspaceOSD explicitly when the active workspace is changed. It has the added benefit of showing workspace OSD even when the workspace is implicitly changed, such as when the active workspace is deleted. It also works with direct workspace shifting using user-configured hotkeys.