3 ms·
Will the rewrite reduce it to the utterly-useless form of a button that drops down a list of open pages? I've seen that sort of thing attempted a few times by
by otakucode 9y ago
Will the rewrite reduce it to the utterly-useless form of a button that drops down a list of open pages? I've seen that sort of thing attempted a few times by browsers that are idiots about their UI and don't let extensions change it and it's really garbage. Firefox going that route just makes me profoundly sad.
- Ar-Curunir 9y agoBefore being sad, take a look at already extant add-ons for vertical tabs, which work almost exactly as before, with the exception of tree style nesting. Even that will come soon, as the author of Tree-style tabs is working on a port to WebExt.
- anotheryou 9y agolooks like he's able to port everything important: https://github.com/piroor/treestyletab/issues/1224#issuecomment-326467198 https://github.com/piroor/treestyletab/issues/1224#issuecomm... just hiding the normal tab-bar might require a line of userchrome.css
- chrismorgan 9y agoI wrote a couple of styles to hide the tab bar and the sidebar header: - Tab bar: https://github.com/Timvde/UserChrome-Tweaks/pull/31 https://github.com/Timvde/UserChrome-Tweaks/pull/31 - Sidebar header: https://github.com/Timvde/UserChrome-Tweaks/pull/32 https://github.com/Timvde/UserChrome-Tweaks/pull/32
- anotheryou 9y agoyay, no side-bar header sounds great :) thank you!
- anotheryou 9y agoI even managed to move the address bar in to the title bar, but unrelated to my CSS, the browser toolbox now refuses to open...
- anotheryou 9y agodon't ask me how, but this works (at least on windows): https://i.imgur.com/dtan6HH.png https://i.imgur.com/dtan6HH.png https://pastebin.com/AcZEgqaP https://pastebin.com/AcZEgqaP