Closed Bug 174480 Opened 23 years ago Closed 23 years ago

Rename Tools > Preferences menu item to Options

Categories

(Firefox :: Settings UI, defect)

Product:
Firefox
Component:
Settings UI
Type:
defect
Priority:
Not set
Severity:
trivial

Tracking

()

Status:
VERIFIED DUPLICATE of bug 172894

People

(Reporter: deanis74, Assigned: bugzilla)

Details

Now that Preferences has been moved to the Tools menu, it should be renamed to Options to be consistent with most other applications out there that have a similar menu item (eg. Microsoft Word).
*** This bug has been marked as a duplicate of 172894 ***
Status: NEW → RESOLVED
Closed: 23 years ago
Resolution: --- → DUPLICATE
mess verifying as dupes Reporter, your bug has not been touched for >60 days. Please change status of your own bugs to VERIFIED if you agree they are dupes. Please help us making bugzilla a more friendly place by helping with QA: http://www.mozilla.org/quality/
Status: RESOLVED → VERIFIED
You need to log in before you can comment on or make changes to this bug.