OK, adesso si che è riapparso, anche se in posizione diversa dal solito (in ordine alfabetico anziché in fondo alla tendina)
prima avevo provato anche il "update-menus" proposto da Hugh, ma non era successo nulla nonostante il pc ci habbia lavorato un pò su.
grazie a tutti
vieri
