Bug fix 34743

Mac OS X full screen: the old option to go full screen now didn't hide the
dock/topbar anymore. Also made it use dock auto-hide now, not permanent hide.





git-svn-id: https://svn.blender.org/svnroot/bf-blender/trunk/blender@55538 954f8c5b-7b00-dc11-b283-0030488c597c