Eu tenho uma instalação relativamente nova do Fedora 20. Pronto para uso, não há opção "adicionar aos favoritos" no menu de contexto ao clicar em um programa em execução na barra superior.
Atualizei do Gnome 3.10 para 3.12 para ver se isso resolveria o problema; isso não aconteceu.
Só posso assumir que os mantenedores do Fedora, por algum motivo, tomaram medidas para remover este item do menu de contexto.
Minha pergunta é: como posso adicionar esse item do menu de contexto novamente?
Editar: esta opção também está faltando no menu de contexto do painel; Eu gostaria de restaurá-lo em pelo menos um lugar.