[Résolu] position de la barre des onglets

[bouga]

bonjour,

mon pc vient de mettre à jour firefox en version 57. Il me signale que l'extension "Classic Theme Restorer" n'est plus compatible.
Comment puis-je faire pour remettre la barre des onglets au dessous de la barre d'outils et de la barre personnelle ?

merci

Thierry

[Robert Mitchum]

Voir ici :
viewtopic.php?f=5&t=134761

[Mapenzi]

Bonjour,

Voir ici :
viewtopic.php?f=5&t=134761

Avec le code proposé dans ce fil FF 57 barre des onglets la barre d'onglets est en effet déplacée en dessous des autres barres mais la barre personnelle se retrouve tout en haut, ce qui n'est pas du goût de tout le monde.
Pour avoir la barre de navigation en haut, la barre personnelle au milieu et la barre d'onglets en bas essayer le code suivant dans un fichier userChrome.css

Code : Tout sélectionner

@namespace url(http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul);

/* barre de NAVIGATION */
    #nav-bar {
      -moz-box-ordinal-group: 1 !important; }

    /* barre PERSONNELLE */
    #PersonalToolbar {
      -moz-box-ordinal-group: 2 !important; }

    /* barre d'ONGLETS */
    #TabsToolbar {
      -moz-box-ordinal-group: 3 !important; }

[Geek0z0ne]

Il serait intéressant de savoir où ce CSS est documenté car celui ci-dessus n'est pas encore très beau, notamment car il garde un filet supérieur à la barre d'adresse qui est totalement inutile (chez moi en tout cas) ?

[Robert Mitchum]

Merci Mapenzi, j'ai essayé (et adopté) ton css, il a le mérite d'être documenté, et modifiable (avec précaution )

... il garde un filet supérieur à la barre d'adresse...

Peux-tu préciser (capture d'écran à l'appui), stp ?

Bonne journée

[Geek0z0ne]

Voici :

[Mapenzi]

notamment car il garde un filet supérieur à la barre d'adresse qui est totalement inutile (chez moi en tout cas) ?

Tu parles de la petite bande bleue au bord supérieur le l'onglet actif ?
Si c'est ça tu peux la supprimer avec ce code :

.tab-line {
display: none; }

[Geek0z0ne]

^ Non, je parle du filet gris légèrement plus bas que la barre des titres. En fait, il donne une impression qu'il y a un filet gris clair, puis un filet gris foncé, les deux d'1px.

[Mapenzi]

^ Non, je parle du filet gris légèrement plus bas que la barre des titres.

Je peux reproduire cette bande grise entre la barre de titre et la barre de navigation avec le code suivant :

Code : Tout sélectionner

#nav-bar {
margin-top: 2px !important; }

Mais j'utilise aussi une version de macOS beaucoup plus récente (10.12.6).
Se pose alors la question : quels sont les codes css dans ton fichier userChrome.css ? Il doit y avoir une code responsable de cette bande grise car sans le code mentionné ci-dessus je ne vois pas cette bande chez moi.

[Geek0z0ne]

Mon code est exactement celui que tu donnais là. Mais je suis sous OS X.9.5 et mes barres système ne sont pas les mêmes. En fait si je vois bien, le nombre de pixels total est identique si on ajoute ces 2 pixels de haut (les deux lignes).

Mais en mettant ceci, c'est OK :

Code : Tout sélectionner

/* Ligne obligatoire */
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
/* Fin de ligne obligatoire */

/* barre de NAVIGATION */
	#nav-bar {
	-moz-box-ordinal-group: 1 !important;
	margin-top: -2px !important; }

/* barre PERSONNELLE */
	#PersonalToolbar {
	-moz-box-ordinal-group: 2 !important; }

/* barre d'ONGLETS */
	#TabsToolbar {
	-moz-box-ordinal-group: 3 !important; }

[Mapenzi]

En fait si je vois bien, le nombre de pixels total est identique si on ajoute ces 2 pixels de haut (les deux lignes).

Donc ton problème est résolu ?
Où vois-tu le nombre de pixels total d'une barre ?

En fait, en regardant bien dans mon profil "Test" de Firefox je me suis rendu compte que j'avais la même bande grise.
Dans mon profil de travail j'utilise d'autres codes css pour amincir les trois barres et cette bande n'y apparait pas.

[Fosfor]

Bonsoir,

je me permets d'intervenir sur ce post car j'ai le même problème, à savoir modification de l'ordre des barres suite à ce que je suppose être une mise à jour, il y a 24 à 48 h - un matin tôt où j'ai ouvert l'ordi en vitesse, et depuis, je m'en suis peu servi.

J'ai essayé diverses choses, sans résultat.

Je précise que je suis sous Linux (Kubuntu) et que j'ai à peu près rien compris à ce qui précède concernant les codes qu'il faudrait écrire. (quoi, et où ?)J'ai consulté cette page (comme suggéré plus haut) : viewtopic.php?f=5&t=134761&start=15, sans rien y comprendre non plus, je l'avoue humblement. Si quelqu'un pouvait m'aider, ce serait vraiment très sympa.

Pour illustrer :



Point rouge : barre de menu - tout en haut. OK, c'est bon.
Point jaune : barre personnelle, tout en bas : pas bon. Devrait être au-dessus de la barre d'onglets (point vert)
Point bleu : barre d'outils : au-dessus de la barre personnelle : oui
Point vert : barre d'onglets : position pas bonne : devrait-être tout en bas.

Donc, l'ordre désiré, en partant du bas : vert, jaune, bleu, rouge.

Merci !

[Mapenzi]

Si quelqu'un pouvait m'aider, ce serait vraiment très sympa.

Fais un test avec le code proposé dans mon message ci-dessus.
Pour créer le fichier "userChrome.css" et le dossier "chrome" voir ce message

[Geek0z0ne]

[…] Donc ton problème est résolu ?
Où vois-tu le nombre de pixels total d'une barre ?
[…]

Oui, on peut dire que ça, c'est résolu. Mais j'utilisais Classic Theme Restorer qui en faisait beaucoup plus et cette présentation me manque. On pourrait en faire beaucoup plus, mais il faudrait trouver une documentation pour connaître le nom des classes éditables.

Le nombre de pixel, quand il y en a si peu, je suis capable de l'évaluer à l'œil, j'ai une bonne vision de l'espace depuis toujours.
Sinon, il existe des outils pour mesurer des distances plus importantes à l'écran.
Dans le temps, j'utilisais xScope et Pixel Tools.

[Mapenzi]

Le nombre de pixel, quand il y en a si peu, je suis capable de l'évaluer à l'œil, j'ai une bonne vision de l'espace depuis toujours.

Génial !!
Je n'ai jamais pu l'évaluer à l'œil, pourtant je travaille depuis années avec le userChrome.

Sinon, il existe des outils pour mesurer des distances plus importantes à l'écran.
Dans le temps, j'utilisais xScope et Pixel Tools.

Merci pour le liens, je regarderais ça