Przydatna rzecz:

gnome-desktop-item-edit ~/.local/share/applications/ –create-new

Tak utworzony plik można „przeciągnąć” do panelu. Swoją drogą porażka, od premiery Gnome3 minęło już trochę, a do dziś brakuje takich podstawowych narzędzi, tzn. być może są, ale nieudostępnione w narzędziach systemowych.