After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 672142 - Extensions can't be removed
Extensions can't be removed
Status: RESOLVED DUPLICATE of bug 695983
Product: gnome-tweak-tool
Classification: Applications
Component: general
3.3.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME Tweak Tool maintainer(s)
GNOME Tweak Tool maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2012-03-15 14:33 UTC by Petr Schindler
Modified: 2013-04-15 20:26 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
For remove an extension (15.42 KB, patch)
2012-06-11 22:17 UTC, Giuliano Manzitti
none Details | Review

Description Petr Schindler 2012-03-15 14:33:43 UTC
Description of problem:
There is no possibility to remove extension, which I've installed by gnome-tweak-tool (in 'Install Shell Extension' by loading extension file).

User have to remove all files manually, what is not user friendly at all. There should be some way to remove extension from gnome-tweak-tool

Version-Release number of selected component (if applicable):
gnome-tweak-tool-3.3.4-1.fc17.noarch

How reproducible:
always

Steps to Reproduce:
1. Open gnome-tweak-tool.
2. In Shell Extensions click on button with folder.
3. Choose some file with extension to install it
4. Try to remove just installed extension.
  
Actual results:
There is no way how to remove manually installed extensions

Expected results:
There should be possibility of removing extensions in gnome-tweak-tool

Additional info:
Distribution: Fedora
Comment 1 Giuliano Manzitti 2012-06-11 22:17:00 UTC
Created attachment 216155 [details] [review]
For remove an extension
Comment 2 John Stowers 2013-04-15 20:26:21 UTC

*** This bug has been marked as a duplicate of bug 695983 ***