Gnome 3 (3.10 and 3.12) under fedora 20 has no "add to favorites" option for the dash or top bar context menu. I'd like to re-enable this. Is this possible? Or does anyone know how this apparently standard option has been disabled?

Thanks,

Marcin