Ubuntu

Comment 18 for bug 267857

Well... I won't argue the toss, I still think that hiding the navbar
should not unexpectedly screw up fullscreen mode, but I accept it is
not the world's highest priority bug.