Forum Linux.debian/ubuntu Astuce Firefox

Posté par  . Licence CC By‑SA.
Étiquettes :
4
1
nov.
2016

Bonjour les amis!

Depuis que Firefox est compilé pour utiliser GTK3 dans Debian (Firefox 49.6 et + dans unstable), l'apparence est déficiente a certain niveau. Pour retrouver l'apparence "standard", il suffit de créer un dossier "chrome" dans votre profile Firefox(/home/XXXXX/.mozilla/firefox/XXXXX/), d'ajouter un fichier "userChrome.css" dans ce même dossier "chrome" et d'y écrire ces lignes:

menupopup menuseparator {
    -moz-appearance: none !important;
    background: #e5e5e4 !important;
    /*margin: 1px 0 1px -3px !important;*/
    padding: 0 !important;
    border-top: none !important;
    border-color: transparent !important;}

#PlacesToolbarItems > .bookmark-item:hover
{background-color: rgb(229,229,228) !important; }

#PlacesToolbarItems > .bookmark-item {
    margin-inline-end: 8.5px !important;}

Ceci rétablira l'apparence du menu contextuel, la couleur de survol des marques-pages de la bar personnelle et l'espacement entre les marques-pages de la bar personnelle. Veuillez noter que vous devrez peut-être changer la dernière variable(8.5px) selon la résolution de votre écran et la version de Firefox que vous utilisé (c'est l'espacement entre vos marque-pages). Cette astuce marche également pour tous les versions(Release, Beta et Developer) proposé sur https://www.mozilla.org/fr/

  • # Patch upstream

    Posté par  (site web personnel) . Évalué à 1.

    Tu as pensé à envoyer un patch upstream (https://bugzilla.mozilla.org/) ?
    Ça sera bien mieux que de laisser les gens modifier la css en local.

    Au pire, ouvrir un bug avec ton correctif, si tu sais pas où corriger dans le code de firefox, d'autres sauront où modifier et n'auront pas besoins de chercher quoi modifier.

    Matthieu Gautier|irc:starmad

    • [^] # Re: Patch upstream

      Posté par  . Évalué à 1.

      Je vais prendre une minute pour faire ça se soir. D'autant plus que ce problème existe toujours dans Firefox 51. Sous le capot, Mozilla fait un travail incroyable en ce moment. Mais ils ont encore de la difficulté a proposer une apparence décente sur Linux… Avec Servo cela va probablement changer heureusement…

      • [^] # Re: Patch upstream

        Posté par  (site web personnel) . Évalué à 1.

        Mais ils ont encore de la difficulté a proposer une apparence décente sur Linux…
        À chaque fois que je lis ça, je suis étonné, car depuis plus de 10 ans j'utilise Linux et Firefox ( la suite Mozilla avant, etc … ) , et je le trouve esthétiquement bien .
        Mais j'ai en effet vu des captures d'écran sous KDE, et il y a là quelques soucis en effet … Peut-être ça vient plus de la cohabitation avec KDE que Linux , non ? ( bon, si tu es sous un environnement Gnome, je ne sais pas quoi dire )

        Essaie pour vivre sans brider les utilisateurs https://www.indiegogo.com/projects/iwinote

        • [^] # Re: Patch upstream

          Posté par  . Évalué à 1.

          J'aurais peut-être du dire intégration et non apparence. Ce que je veux dire c'est que si une personne n’utilise pas la version dans les dépôts de la distribution ou si elle n'utilise pas Gnome comme environnement, elle aura des défauts visuels. Si tu télécharges la version sur mozilla.org, tu remarqueras plusieurs défauts dans l'apparence et ce même si tu utilises Gnome parce qu'elle utilise maintenant GTK3 et que le travail d'intégration n'est toujours pas complété. Le travail effectué par la distribution masque ces défauts. Par exemple, Debian compilait Firefox avec GTK2 dans unstable jusqu'à la semaine passé ce qui masquait ces défauts. Maintenant que Debian compile Firefox pour GTK3, les même défauts que la version sur mozilla.org sont apparue: des bars noires dans les menus, des menu blanc et des éléments mal positionnés. GTK3 est portant utilisé depuis 5 ans…

          Ce n'est pas la fin du monde, mais une simple constatation!
          ```

  • # Barres de défilement

    Posté par  . Évalué à 1.

    Information intéressante, merci.
    Et comment faire pour modifier la largeur des barres de défilement voire leur donner le même comportement que dans les autres programmes comme gedit ou le terminal ?

    • [^] # Re: Barres de défilement

      Posté par  . Évalué à 1.

      Je croie avoir réussie! Il me reste à travailler mon concept et je te donne des nouvelles!

      • [^] # Re: Barres de défilement

        Posté par  . Évalué à 1.

        Finalement j'ai abandonnée car c'est une tache monstrueuse pour le peu de bénéfice que cela apporte. Le gros du problème est que je ne peux pas tout faire en css et que je me bat contre l'interface de Firefox qui n'est pas facile a modifier à cause ce certain paramètre de sécurité. Mon résultat était très réussie, mais c'était du code en spaghetti qui peux potentiellement créer des problème sur certain site internet. La façon idéale serait de modifié le code source, mais je n'ai pas l'ordinateur idéal pour compiler… Désolé!

        • [^] # Re: Barres de défilement

          Posté par  . Évalué à 1.

          Tant pis, merci d'avoir essayé.
          Pour corriger le problème j'ai changé de thème Ubuntu ; avec Arc (il est dans les dépôt de la 16.10), l'aspect est meilleur.

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.