Added intellihide option to ignor top panel menus.
Merge branch 'hotfix-intellihide' into gnome-3.10
Disable pressure barrier when message tray is showing
Merge branch 'hotfix-pressure' into gnome-3.10
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 gnome-3.10