Reverted r13840 as the 'Window' menu on a Mac is actually quite useful for relax!
The command used was: svn merge -r13840:13839 .
..... r13840 | bugman | 2011-07-22 19:51:42 +0200 (Fri, 22 Jul 2011) | 3 lines Changed paths: M /branches/gui_testing/gui/menu.py The window menu has been disabled on Mac OS X. .....
Authored by: bugman 2011-07-22
Parent: [r13840]
Child: [r13842]
