Yep it's a bug: https://bugzilla.redhat.com/show_bug.cgi?id=752733
But there is a work-a-round: http://blog.mclaughlinsoftware.com/2011/11/24/gnome-menu-editing-fix/
Your email address will not be published. Required fields are marked *
Comment *
Name *
Email *
Website
Submit Comment
0 Comments