Risposte:
Ho riscontrato un problema simile dopo l'aggiornamento alla 18.10 e ho aggiornato anche l'estensione Gnome "AlternateTab"
Successivamente, ho riscontrato un problema in cui una casella rossa "Errore" appariva accanto all'estensione e non funzionava ancora dopo l'aggiornamento
Per risolvere, ho dovuto riavviare la macchina