Page 1 sur 4
[Résolu] position de la barre des onglets
Publié : 16 nov. 2017, 16:58
par 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
Re: position de la barre des onglets
Publié : 16 nov. 2017, 18:10
par Robert Mitchum
Re: position de la barre des onglets
Publié : 16 nov. 2017, 19:34
par Mapenzi
Bonjour,
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; }
Re: position de la barre des onglets
Publié : 17 nov. 2017, 08:24
par 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) ?
Re: position de la barre des onglets
Publié : 17 nov. 2017, 09:44
par Robert Mitchum
Merci Mapenzi, j'ai essayé (et adopté) ton css, il a le mérite d'être documenté, et modifiable (avec précaution

)
Geek0z0ne a écrit : 17 nov. 2017, 08:24
... il garde un filet supérieur à la barre d'adresse...
Peux-tu préciser (capture d'écran à l'appui), stp ?
Bonne journée
Re: position de la barre des onglets
Publié : 17 nov. 2017, 11:43
par Geek0z0ne
Voici :

Re: position de la barre des onglets
Publié : 17 nov. 2017, 13:35
par Mapenzi
Geek0z0ne a écrit : 17 nov. 2017, 08:24
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; }
Re: position de la barre des onglets
Publié : 17 nov. 2017, 14:00
par 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.

Re: position de la barre des onglets
Publié : 17 nov. 2017, 16:30
par Mapenzi
Geek0z0ne a écrit : 17 nov. 2017, 14:00
^ 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 :
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.
Re: position de la barre des onglets
Publié : 17 nov. 2017, 16:51
par 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; }

Re: position de la barre des onglets
Publié : 17 nov. 2017, 18:55
par Mapenzi
Geek0z0ne a écrit : 17 nov. 2017, 16:51
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.
Re: position de la barre des onglets
Publié : 17 nov. 2017, 20:50
par 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 !
Re: position de la barre des onglets
Publié : 17 nov. 2017, 21:13
par Mapenzi
Fosfor a écrit : 17 nov. 2017, 20:50
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
Re: position de la barre des onglets
Publié : 17 nov. 2017, 21:34
par Geek0z0ne
Mapenzi a écrit : 17 nov. 2017, 18:55
[…] 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.
Re: position de la barre des onglets
Publié : 17 nov. 2017, 21:52
par Mapenzi
Geek0z0ne a écrit : 17 nov. 2017, 21:34
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
