#10395 ------ Issue 668: should clean the option-World click menu Issue 999: macos: fix OS menues to see the mac menus, please restart the image. -- Marcus Denker - http://marcusdenker.de PLEIAD Lab - Computer Science Department (DCC) - University of Chile