Tengo una instalación de Fedora 20 relativamente nueva. Fuera de la caja no hay ninguna opción "agregar a favoritos" en el menú contextual al hacer clic en un programa en ejecución en la barra en la parte superior.
Actualicé de Gnome 3.10 a 3.12 para ver si eso solucionaba el problema; no tiene.
Sólo puedo suponer que los mantenedores de Fedora, por alguna razón, han tomado medidas para eliminar este elemento del menú contextual.
Mi pregunta es: ¿cómo puedo volver a agregar este elemento del menú contextual?
Editar: esta opción también falta en el menú contextual del tablero; Me gustaría restaurarlo en al menos un lugar.