Good to know, thanks. I'll do that if it happens again, or for any other bug actually.
I don't see any 'Extensions' app (and I don't remember installing any extension) but i can execute 'gnome-extensions list' (same result without '--enabled' option):
me@myComputer:~$ gnome-extensions list --enabled
desktop-icons@csoriano
<email address hidden>
<email address hidden>
Good to know, thanks. I'll do that if it happens again, or for any other bug actually.
I don't see any 'Extensions' app (and I don't remember installing any extension) but i can execute 'gnome-extensions list' (same result without '--enabled' option): icons@csoriano
me@myComputer:~$ gnome-extensions list --enabled
desktop-
<email address hidden>
<email address hidden>
Do I have to do something once they are disabled?