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