Can't remove old shell extensions

Mikael NorlĂ©n <[email protected]> Sat, 31 Jan 2015 01:11:23 +0100
Newsgroups gmane.comp.gnome.web
Message-ID <CANpq=TseWHwYH9oWemYCsCRfYKXy=Yi-9bXTVzvv1tLP1Zwo7A@mail.gmail.com>
--===============3208678377737963054==
Content-Type: multipart/alternative; boundary=089e013a01e6bde62f050de78fe2

--089e013a01e6bde62f050de78fe2
Content-Type: text/plain; charset=UTF-8

I returned to the gnome shell just today (installed the OS from scratch
again). When i logged in to my old online extension account i found
everything in the list as it was in the previous OS.

However none of the extensions in the list are actually currently
installed, also many are outdated and so not reinstallable either.

So now I just want to remove them from the list... But this can't be done
with the remove button and not in gnome-tweak-tool either, it's just greyed
out. Suggestions?

--089e013a01e6bde62f050de78fe2
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">I returned to the gnome shell just today (installed the OS=
 from scratch again). When i logged in to my old online extension account i=
 found everything in the list as it was in the previous OS.  <br><br>Howeve=
r none of the extensions in the list are actually currently installed, also=
 many are outdated and so not reinstallable either. <br><br>So now I just w=
ant to remove them from the list... But this can&#39;t be done with the rem=
ove button and not in gnome-tweak-tool either, it&#39;s just greyed out. Su=
ggestions?<br></div>

--089e013a01e6bde62f050de78fe2--

--===============3208678377737963054==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
gnome-web-list mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/gnome-web-list

--===============3208678377737963054==--