Mac OS X gui: Fix tabs.