Hello,

The dock gnome-shell extension is preventing windows from maximizing over it..
isnt it yet set to auto-hide, or some other feature like that?

Screenshot link:
http://goo.gl/vDJKU

--
Regards,

Pratyush Sahay