fix for gtk 3.6: improve insensitive menu items