Favorites Menu 1.0
Preferiti Menu è un'estensione GNOME Shell che fornisce un menu del pannello per i segnalibri.Per installare questa estensione è necessario avere installato GNOME Shell o cannella. . Tuttavia, tenere presente che non è stato testato con cannella ...