Navigation Bar on Title Bar

crédit Marco Z sur AMO

Un nouvel item du menu contextuel des barres d’outils « Navigation Bar on Top » permet de commuter la fonction de cette extension. Des options de l’extension (accessibles depuis le gestionnaire de modules complémentaires) permettent de conserver la barre de navigation/barre des onglets au-dessus quand la fenêtre n’est plus maximisée et de descendre la barre quand la fenêtre est plus étroite qu’une valeur configurable en pixels. Les marges à droite et à gauche sont chacune paramétrables dans les options.