Closed
Bug 301121
Opened 19 years ago
Closed 19 years ago
Profilemanager should be callable through Tools\Profile Manager
Categories
(Toolkit :: Startup and Profile System, enhancement)
Tracking
()
VERIFIED
DUPLICATE
of bug 214193
People
(Reporter: Geert.Poels, Unassigned)
Details
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8b3) Gecko/20050712 Firefox/1.0+ Build Identifier: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8b3) Gecko/20050712 Firefox/1.0+ Maybe most people won't use the profiles manager. As I install several Firefoxes and use different profiles for each of them, I'd very much like the profile manager to be accessible from the tools menu. (changes effective after restart) If this enhancement would be discarded then please reconsider the idea of enabling it in the menu anyway through a field in the prefs.js. Just like the cache currently is. I'm using Deer Park Alpha 2 Reproducible: Always
Comment 3•19 years ago
|
||
(In reply to comment #2) > Could also be a dupe of bug 214193 per the seventh comment. Agreed that its a dupe. *** This bug has been marked as a duplicate of 214193 ***
Status: UNCONFIRMED → RESOLVED
Closed: 19 years ago
Resolution: --- → DUPLICATE
Updated•19 years ago
|
Status: RESOLVED → VERIFIED
| Assignee | ||
Updated•16 years ago
|
Product: Firefox → Toolkit
You need to log in
before you can comment on or make changes to this bug.
Description
•