Closed Bug 213195 Opened 21 years ago Closed 21 years ago

No option to remove extensions

Categories

(Firefox :: General, enhancement)

Product:
Firefox
Component:
General
Platform:
x86
All
Type:
enhancement
Priority:
Not set
Severity:
normal

Tracking

()

Status:
VERIFIED DUPLICATE of bug 170006

People

(Reporter: pmjcovello, Assigned: bugzilla)

References

(
URL
)

Details

User-Agent:       Mozilla/5.0 (Windows; U; Win 9x 4.90; en-US; rv:1.5a) Gecko/20030714 Mozilla Firebird/0.6
Build Identifier: Mozilla/5.0 (Windows; U; Win 9x 4.90; en-US; rv:1.5a) Gecko/20030714 Mozilla Firebird/0.6

There should be an option in tools->options->extensions that allows you to
remove - and not just delete - extensions.

Reproducible: Always

Steps to Reproduce:
N/A
Actual Results:  
N/A

Expected Results:  
N/A
Summary: No option to remove enhancements → No option to remove extensions
long since planned, doing it cleanly is another thing.

*** This bug has been marked as a duplicate of 170006 ***
Status: UNCONFIRMED → RESOLVED
Closed: 21 years ago
Resolution: --- → DUPLICATE
Mass-verifying. Sorry for bugspam.
Status: RESOLVED → VERIFIED
You need to log in before you can comment on or make changes to this bug.