![](/static/253f0d9b/assets/icons/icon-96x96.png)
![](https://spgrn.com/api/v3/image_proxy?url=https%3A%2F%2Flemmy.world%2Fpictrs%2Fimage%2Fd4155aa6-7ec0-4527-b43e-0db480bcf1c0.png)
Never heard of that idea. Sounds like a slightly lazier way to do it, but I respect it. Could be easier for accessibility reasons I suppose.
Getting vertical tabs and hiding the original tab row is the only thing I have to mess with the userchrome file for myself, so this getting baked in will help me skip an extension setup and file edit every time I set it up on a new device. Or freshly setup device.
Old is one problem. Old and mentally disabled is a whole other problem. Plus who are you supposed to vote for here with that rule? We’ve got 2 realistic options.
But in general you’d be correct.