Hide Dock while Message Tray is showing
Fixes for prev commit
Tweaking the behavior
Not sure we always need enableAutohide
Merge remote-tracking branch 'upstream/master'
Moving to Intellihide, more testing needed
Intellihide changes
Wrapping up changes for now
Initial Code for Keybinding
Removed stuff from intellihide, shift up Dock behavior implemented
Removing experimental schema for push
Minor cleanups
Cleanup for Pull Request
Merge pull request #22 from cldx/master

Hide Dock while Message Tray is showing
Merge remote-tracking branch 'ozonos/master' into bug-fix
Using mpnordland solution of determining Gnome version. Version fragmentation should not be a problem!