Re:Using extra Firefox profiles to make my life better
by account-5 on Friday October 20, 2023 @09:28AM
(#37955687)
This is true but I actually don't mind this at all.
[ Parent
| on HN ]
Re:Using extra Firefox profiles to make my life better
by depressedpanda on Friday October 20, 2023 @11:53AM
(#37957848)
You might not mind, but it's a papercut for a regular user wanting to use profiles.
The thing is that it's a also problem that can easily be resolved with some small UI tweaks. Everything we need for first class handling of profiles in Firefox already exists, save a more intuitive UI.