Is it possible to disable the tear-off menus? Not a big issue, but noted that WingIDE's menus don't work with gnome-globalmenu. I'm betting that the tear-off menus are the issue. Kevin