01/07/2022, 19:52
(Questo messaggio è stato modificato l'ultima volta il: 01/07/2022, 19:53 da adrianomorselli.)
Probabile, ma controlla che l'estensione sia disponibile per gnome 42, altrimenti chiedi allo sviluppatore di farne il porting