macosx: hide bottom bar of main window only when really necessary
authorDavid Fuhrmann <david.fuhrmann@googlemail.com>
Wed, 3 Apr 2013 16:35:24 +0000 (18:35 +0200)
committerDavid Fuhrmann <david.fuhrmann@googlemail.com>
Wed, 3 Apr 2013 16:39:49 +0000 (18:39 +0200)
commitd6d1a241f125c8b56c97c5a8a1533093f28ff390
treecba59daec89c60448cc0900aaf1a15c762a83ab1
parent0103fd959a37be1ccc9ee5c59fb84f9610b0bc74
macosx: hide bottom bar of main window only when really necessary
modules/gui/macosx/MainWindow.m