Separateurs pour barre principale

Vos requêtes concernant Mozilla Firefox, le navigateur Gecko alternatif, ne trouvèrent point de réponses lorsque vous cherchâtes ? Toute l'équipe Geckozone est prête à vous aider.

Modérateurs : nico@nc, Mori, jpj, myahoo

nilz
Arias
Messages : 17
Inscription : 13 sept. 2017, 21:05

Separateurs pour barre principale

Message par nilz »

Bonjour,
Je viens de renoncer récemment à FF56 et quelque chose me gène vraiment.
En mode personnalisation, je ne trouve plus le séparateur.
J'ai bien essayer les addons -separator ou -divider mais ça n'aide pas car il n'y a qu'un séparateur.
Comment retrouver le séparateur ?
Avatar de l’utilisateur
Cucurbitacé
Animal mythique
Messages : 5618
Inscription : 22 juil. 2012, 05:27

Re: Separateurs pour barre principale

Message par Cucurbitacé »

Bonjour,

Il faut désormais utiliser le langage de programmation pour créer des styles, des skins, personnalisation, le langage communément appelé : css.

Toutefois avant de l’utiliser il faut activer son utilisation dans Firefox.
Mettez dans un onglet vierge : about:config ou allez dans les options prenez : Editeur de configuration.
Dans rechercher mettez la ligne de commande : toolkit.legacyUserProfileCustomizations.stylesheets
Par un clic droit dessus passez là à True.

Dans votre profil vous devrez créer un nouveau dossier : chrome.
Dans ce dossier vous devrez créer un fichier texte avec l’extension css : userChrome.css

Vous avez un site avec une pléthore de userChormes.css ou userContent.css ; vous pouvez les copier/coller, les télécharger.

Les noms des fichiers sont en anglais, mais indiquent ce qu’ils font.

userChrome.css agit sur l’interface, l’apparence, la structure même de Firefox.
userContent.css agit sur ce qui est affiché dans un onglet, les options et addons (extensions) en font partie.

Voici plusieurs sites de css, c’est très simple, il suffit de copier/coller, il n'y a pas besoin de s'y connaitre en encodage et autres.

1° => https://github.com/Aris-t2/CustomCSSfor ... lassic/css <=

2° => https://github.com/Timvde/UserChrome-Tweaks <=

3° => https://github.com/MrOtherGuy/firefox-csshacks <=

4° => https://www.reddit.com/r/FirefoxCSS <=

Vous avez également sur ce forum des css, il faut lancer une recherche.

Le site des extensions propose dans apparence des possibilités.

Plus d'explication sur les userChrome.css et userContent.css sur ce site même > viewtopic.php?f=5&t=124027 <.

Bien à vous.
Dernière modification par Cucurbitacé le 25 mars 2021, 00:10, modifié 3 fois.
Agent virtuel

Re: Separateurs pour barre principale

Message par Agent virtuel »

Bonjour
nilz a écrit : 14 avr. 2020, 22:36 Je viens de renoncer récemment à FF56 et quelque chose me gène vraiment.
En mode personnalisation, je ne trouve plus le séparateur
À titre de curiosité

Permettez une question

Sous Firefox 56

Est-ce Classic Theme Restorer
https://github.com/Aris-t2/ClassicTheme ... issues/383

Et

Avez-vous installé en préalable
Extension correctrice pour les versions 52 à 56
https://support.mozilla.org/fr/kb/desac ... de-firefox

Pour ensuite installé Classic Theme Restorer
nilz
Arias
Messages : 17
Inscription : 13 sept. 2017, 21:05

Re: Separateurs pour barre principale

Message par nilz »

bonjour, je ne suis pas sur de comprendre votre question.
Oui j'utilisai classic theme restorer, mais je ne me souviens pas avoir installé de correctif.

Pour les css je n'ai pas trouvé de solution (sauf une changeant l'espace libre en separateur, mais ne marche pas)
Agent virtuel

Re: Separateurs pour barre principale

Message par Agent virtuel »

nilz a écrit : 15 avr. 2020, 10:57 Oui j'utilisai classic theme restorer
C'était simplement à titre de clarification

Et pour ma part lors d'essai(s) sur Firefox 56 aujourd’hui

Ai dû en préalable
Installé l'extension correctrice pour les versions 52 à 56 qui installe signingca1.addons.mozilla.org

about:preferences#privacy
Afficher les certificats
Onglet Autorités
Mozilla Corporation -> signingca1.addons.mozilla.org

Pour pouvoir ensuite installé l'extension Classic Theme Restorer
Avatar de l’utilisateur
Cucurbitacé
Animal mythique
Messages : 5618
Inscription : 22 juil. 2012, 05:27

Re: Separateurs pour barre principale

Message par Cucurbitacé »

Bonjour,

La personne qui a programmé ‘Classic theme restorer’ propose les fichiers css ; c’est sur le premier lien que je vous ai mis.

Ce que vous devez trouver, c’est comment cela se dit en anglais et dans le langage de programmation ; puis vous lancez une recherche dans 'search' juste en haut à droite, va apparaitre tous les fichiers css qui comportent cet encodage, il vous suffira de lire le titre du fichier pour savoir ce que vous voulez exactement.

Qu’appelez-vous séparateur, est-ce la ligne verticale ou l’espace ?

Bien à vous.
nilz
Arias
Messages : 17
Inscription : 13 sept. 2017, 21:05

Re: Separateurs pour barre principale

Message par nilz »

Bonjour,
Le séparateur vertical (soit dit entre nous, quel est le génie qui nous propose une barre personnalisable sans séparateur ?)
Agent virtuel

Re: Separateurs pour barre principale

Message par Agent virtuel »

Précision essai effectué

Suite installation
Extension correctrice pour les versions 52 à 56 qui installe signingca1.addons.mozilla.org

Ensuite c'est https://github.com/Aris-t2/ClassicTheme ... ag/1.7.7.2
CTR_v1.7.7.2_fx45-56_signed_by_Mozilla.xpi
Freddy
Iguane
Messages : 534
Inscription : 15 nov. 2009, 11:37

Re: Separateurs pour barre principale

Message par Freddy »

Bonjour,

Ça rejoindrai un peu le sujet pas très vieux qu'on trouve encore en première page https://forums.mozfr.org/viewtopic.php ... 37#p900437
Pour un simple séparateur qui ne prend pas plus d'encombrement qu'un trait vertical, le code serait par exemple:

Code : Tout sélectionner

/* transformer les "espaces flexibles" en séparateurs */
toolbarspring[id^=customizableui-special-spring] {
  max-width: 2px!important;
  border: grey solid 1px;
}
Avatar de l’utilisateur
Cucurbitacé
Animal mythique
Messages : 5618
Inscription : 22 juil. 2012, 05:27

Re: Separateurs pour barre principale

Message par Cucurbitacé »

Bonjour,

Dans le dossier > Generalui <=, il y a le fichier : flex_space_on_navbar_replace_with_separator.css

Mais, je pense que ce que demande notre compagnon, c’est d’avoir en plus des espaces, une fonction spring (séparateur), de ne pas rénoncer à l'un pour avoir l'autre, mais il souhaite les deux.

Cordialement.
Dernière modification par Cucurbitacé le 16 avr. 2020, 00:20, modifié 2 fois.
nilz
Arias
Messages : 17
Inscription : 13 sept. 2017, 21:05

Re: Separateurs pour barre principale

Message par nilz »

Ce css, j’avais essayé sans résultats.
Freddy a écrit : 15 avr. 2020, 16:28 Bonjour,

Ça rejoindrai un peu le sujet pas très vieux qu'on trouve encore en première page https://forums.mozfr.org/viewtopic.php ... 37#p900437
Pour un simple séparateur qui ne prend pas plus d'encombrement qu'un trait vertical, le code serait par exemple:

Code : Tout sélectionner

/* transformer les "espaces flexibles" en séparateurs */
toolbarspring[id^=customizableui-special-spring] {
  max-width: 2px!important;
  border: grey solid 1px;
}
Ce code me conviens, je n’use pas de l'espace flexible.

Merci pour toutes vos réponses
Avatar de l’utilisateur
ottomar
Varan
Messages : 1145
Inscription : 09 janv. 2005, 07:31

Re: Separateurs pour barre principale

Message par ottomar »

Bonsoir Madame, Monsieur,

Et si vous voulez néanmoins utiliser les séparateurs, vous avez ceci par le userChrome.css : par exemple,

Code : Tout sélectionner

#home-button image {
border-right: 1px solid antiquewhite !important;
border-left: 1px solid antiquewhite !important;
}
à gauche, à droite, vers n'importe quel bouton ou zone de la barre

Où le mettre ?
https://j2m-06.pagesperso-orange.fr/faq ... r_creation

Juste en passant, on ne m'y reprendra plus... les bistros sont clos ! et 135, c'est trop :mrgreen:
Anonyme1
Varan
Messages : 1473
Inscription : 05 juil. 2006, 15:54

Re: Separateurs pour barre principale

Message par Anonyme1 »

Bonjour,
ottomar a écrit : 01 mai 2020, 22:41 Bonsoir Madame, Monsieur,

Et si vous voulez néanmoins utiliser les séparateurs, vous avez ceci par le userChrome.css : par exemple,

Code : Tout sélectionner

#home-button image {
border-right: 1px solid antiquewhite !important;
border-left: 1px solid antiquewhite !important;
}
à gauche, à droite, vers n'importe quel bouton ou zone de la barre

Où le mettre ?
https://j2m-06.pagesperso-orange.fr/faq ... r_creation
Complément d'info:
j'ai cherché dans la personnalisation, mais pas trouvé.
Donc:
Pour mettre le Séparateur pour barre principale, après avoir créé le fichier userChrome.css/chrome/dans profil de Firefox
Un clic sur la zone ou l'on désire le mettre et choisir "Nouveau séparateur", pour le supprimer un clic droit dessus et "Supprimer"


Merci ottomar
A+ :wink:

Edit:
tester avec Firefox Portable 75.0
Après vérification sans le fichier userChrome.css/chrome/dans profil de Firefox, le clic droit "Nouveau séparateur" fonctionne :?:
Donc pas besoin de fichier userChrome.css :?: :?: :?:
Avatar de l’utilisateur
ottomar
Varan
Messages : 1145
Inscription : 09 janv. 2005, 07:31

Re: Separateurs pour barre principale

Message par ottomar »

Soir, GlopGlop
je sais, mais franchement, ils sont ridicules, les miens sont plusse beaux et pas moins plus chers ! :- ))
Anonyme1
Varan
Messages : 1473
Inscription : 05 juil. 2006, 15:54

Re: Separateurs pour barre principale

Message par Anonyme1 »

Salut ottomar
ottomar a écrit : 02 mai 2020, 18:43 Soir, GlopGlop
je sais, mais franchement, ils sont ridicules, les miens sont plusse beaux et pas moins plus chers ! :- ))
Quelque chose m'échappe :!:
Après avoir créé le fichier userChrome.css/chrome/dans profil de Firefox
Comment mettre le séparateur plusse beaux et pas moins plus chers :?: (de quel manière procédé :!: )
A+ :wink:
Répondre

Qui est en ligne ?

Utilisateurs parcourant ce forum : Google [Bot], Semrush [Bot] et 2 invités