|
|
|
|
|
|
by PetitPrince
1403 days 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. |
|
|