Hi, Any chance of having the patch for this bug reviewed and integrated? https://bugzilla.gnome.org/show_bug.cgi?id=704600 The bug prevents editing of menus on non-Linux 64-bit platforms (FreeBSD, NetBSD, OS X) and the fix is very simple. Thanks, Nick