Faire des « !bang » dans Firefox - Le Hollandais Volant

#16841

J’hallucine toujours autant en voyant que certains ne connaissent pas ça. C’est pourtant natif dans Firefox, Opera, Vivaldi et cela depuis looongtemps.

Voyez également mon commentaire juste en dessous, pour une astuce bonus.

https://lehollandaisvolant.net/?d=2017/10/03/17/55/17-faire-des-bang-dans-firefox

Are we WebExtensions yet?

#16839

Suite à mon post sur Firefox, visant à la fois à défendre Mozilla sur son choix et à rassurer les utilisateurs inquiets de ce qui va arriver dans un mois quand Firefox 57 sera déployée avec tous les changements, je partage ici un lien recensant l’avancement des mises à jour pour 57 des extensions.

(l’abandon de toutes les extensions qui ne seront pas sur la nouvelle API de Firefox 57 est en effet ce qui cause des inquiétudes et des problèmes)

2x faster and 30% less memory | Firefox Quantum Browser

#16809

Ce n’est pas la première fois que Mozilla dit qu’il va révolutionner le web avec des améliorations.

Jusqu’à présent, ça a toujours été très bof : les améliorations n’était pas bien visibles et encore moins notables.

Ici, ça semble clairement être la bonne : Firefox (en Nightly et Beta) est super-rapide à peu près n’importe où. Si vous aimez Firefox mais que vous utilisez Chrome ou autre pour leur rapidité, vous feriez mieux de retester Firefox ;).

Bon par contre, le catalogue des extensions sera totalement jeté à la poubelle et pour l’instant il n’y en a qu’une petite poignée qui sont compatible, mais les principaux sont là (µblock, pour ma part).

https://www.mozilla.org/en-US/firefox/quantum/

Firefox 57 : placer la barre personnelle verticalement - Le Hollandais Volant

#16711

Hop, et voilà comment on se passe d’une extension qui ne fonctionne plus : Firefox permet aussi de modifier l’interface, en CSS.

On peut tout modifier et ici j’utilise les transformations CSS pour tourner la barre de favoris sur le côté (+90°), puis de redresser les icônes individuelles (−90°).

Le tout est correctement assaisonné pour que ça s’affiche bien.

https://lehollandaisvolant.net/?d=2017/08/20/03/18/31-firefox-57-placer-la-barre-personnelle-verticalement

image - 788x810px

#16710

Firefox Nightly est super, mais ça y est : les extensions legacy ne marchent plus là… Y compris GreaseMonkey.

Du coup j’essaye de trouver des alternatives. Pour les scripts qui me servaient à modifier le CSS, il semble que le fichier /chrome/userContent.css fonctionne encore (c’est dans le dossier de profil de Firefox, et non, le dossier n’a rien à voir avec le navigateur Chrome).

Dans ce fichier on peut mettre le CSS qu’on veut pour cibler diverses pages/sites.

Par exemple, sur la capture (mon lien), j’ai mis en rouge les liens vers les pages anglaises, françaises et allemandes sur la liste des langues d’une page Wikipédia.

Si je suis une page Wiki en français, ça me highlight tout de suite le lien vers la page en anglais/allemand, et vice-versa (et sur les pages en d’autres langues, les trois langues sont surlignées).

Voilà le code dans l’userContent.css :

@-moz-document domain(wikipedia.org) {

	#p-lang a[hreflang="en"],
	#p-lang a[hreflang="de"],
	#p-lang a[hreflang="fr"] {
		font-weight: bold!important;
		color: red!important;
	}

}

Ajoutez toutes les langues que vous voulez, et tout le CSS que vous voulez aussi (n’oubliez pas le « !important » à mettre partout : le fichier userContent.css a la priorité la plus base du CSS).

Si j’étais moins fainéant, j’ajouterais des petites icônes de drapeau (en base64 ou webfont ou whatever) avec le ::after.

You cannot downgrade Firefox 55 profiles - gHacks Tech News

#16648

Ça n’a jamais été le cas, mais comme FX est en grande transition actuellement, ça peut-être important de partager et de faire un éventuel backup du dossier de profile, au cas où.

https://www.ghacks.net/2017/08/02/you-cannot-downgrade-firefox-55-profiles/

Firefox 55: geringerer Speicherbedarf, bessere Performance | heise online

#16624

(c’est en allemand)

Visiblement la version 55 de Firefox sera largement plus rapide. Ici, ils ont fait le test avec 1600 onglets (!!). Si Firefox 51 mettait 8 minutes à tout ouvrir, firefox 55 ne devrait mettre que 15 secondes.

Le tout grâce aux techno Servo, Electrolysis et autres que Mozilla prépare depuis quelques temps.

Depuis mon dernier post sur Firefox, on m’a conseillé d’utiliser Firefox Nightly. Il me semble pas spécialement instable, mais il permet d’essayer les nouveautés à venir dans Firefox, y compris tout ça.

Si en effet, je note une très nette amélioration des performances, je ne suis pas sûr que le facteur soit de 1600 non plus.

Faut savoir aussi que Firefox va chambouler tout le système d’extensions aussi : la plupart des extensions actuelles utilisent l’ancien. Le nouveau, utilisant web-extensions, va être adopté de façon exclusive en novembre (Firefox 57).
Toutes les extensions qui ne seront pas portées dessus ne marcheront plus, et actuellement ça correspond en fait à… toutes mes extensions : Textarea-Cache, µBlock-Origin, GreaseMonkey, Vertical-toolbar, et d’autres. Si plus rien de ça ne fonctionne… je préfère ne pas y penser (je n’ai pas trouvé de version de ces extensions utilisant la nouvelle API, et novembre c’est… bientôt…).

https://m.heise.de/newsticker/meldung/Firefox-55-geringerer-Speicherbedarf-bessere-Performance-3782276.html

Firefox est en fort déclin : pourquoi le navigateur internet de Mozilla est en train de disparaître

#16611

Faut avouer que malgré tout l’amour que j’ai pour Mozilla et Firefox, leur navigateur est de plus en plus lent.

Malgré un bon support du HTML/CSS, un bon rendu des effets, la vitesse est devenue catastrophique dans les dernières versions.
Je suis sur un i5 pouvant monter à 3,2 GHz, avec 20 Gio de Ram sur un SSD, je suis *obligé* d’utiliser certains sites dans un autre navigateur car Firefox ne les rend plus : Messenger, parfois Mastodon aussi, les pages mettent 15 secondes à charger et je ne compte plus les bugs (impossible de taper un espace insécable dans FB-Messenger sans avoir des glitchs au niveau du texte).

Et je ne parle pas d’ouvrir les outils de dév : ça plante, le sélecteur d’éléments ne marche pas, etc. C’est du gros n’importe quoi.

Jamais je n’irais sous Chrome : je n’aime pas ce navigateur, qu’il est juste un moteur de rendu super rapide au rendu super moche avec une barre d’adresse juste au dessus (bien au delà de l’aspect « google »). Si je change, c’est sans aucune hésitation pour Vivaldi (mais leur support de Linux reste pour le moment très mauvais, en particulier la gestion de la carte graphique et de l’affichage, choses que je n’ai pas sous Chromium), au moins y a un peu plus de possibilités.

Bref, je me désole de ce qui se passe, mais je comprends tout à fait. Je me bats pour Firefox, j’en parle, je le conseille sobrement sur mon site à titre perso, mais ça ne suffira pas si le produit ne peut pas convenir au public…

http://www.papergeek.fr/firefox-est-en-fort-declin-pourquoi-le-navigateur-internet-de-mozilla-est-en-train-de-disparaitre-66342