Merge branch 'develop' into gnome-3.10 (commits strip out gnome-3.4 through 3.8 references)
Added intellihide option to ignor top panel menus.
Merge branch 'hotfix-intellihide' into gnome-3.10
Merge branch 'hotfix-intellihide' into develop
Disable pressure barrier when message tray is showing
Merge branch 'hotfix-pressure' into develop
Fixed issue where thumbnails failed to refresh when a window changed to be visible-on-all-workspaces.
Fixed issue where focus indicator disappears after clicking caption taskbar icon to activate window
Taskbar - fixed issues relating to windows visible on all workapces and windows on secondary monitors.
Merge branch 'hotfix-taskbar' into develop

Conflicts:
	workspaces-to-dock@passingthru67.gmail.com/myThumbnailsBox.js