3 ms·
It's supposed to replace the tab bar. Unfortunately there's no API to do that and you have to rely on a custom userChrome.css. Re loss of screen space: yes. H
by PetitPrince 4y ago
It's supposed to replace the tab bar. Unfortunately there's no API to do that and you have to rely on a custom userChrome.css.
Re loss of screen space: yes. However the reasoning is that losing some horizontal space is not as bad as loosing vertical space.