Katsumi Yamaoka <yamaoka@jpl.org>: > You seem not to use menubar. If so, I've probably fixed it in > the CVS repository. Please test! this is true, i don't use the menu bar and hit f10 when i need it. your change fixed the bug. thank you, clemens