Mot-clef « Firefox »

Quelques trucs sur Firefox #5

Ajouter plusieurs onglets aux favoris, raccourci clavier de développement et suppression de suggestion dans un champ texte

Suppression d’une suggestion enregistrée dans un champ input

Ah ben après pas mal de recherches, j’ai fini par retrouver comment supprimer une suggestion enregistrée sur un input dans #Firefox.

Jusqu’à une certaine version (autour de 50 de mémoire), il suffisait de survoler la suggestion et d’appuyer sur la touche “suppr”. Mais depuis ça ne fonctionne plus, donc j’ai longtemps cru que c’était une autre fonctionnalité supprimée (j’ai l’habitude avec Mozilla).

Mais en fait non, c’est encore possible, c’est juste plus compliqué : ce n’est plus l’option survolée qui est supprimée, mais l’option sélectionnée.

Pour sélectionner une option j’ai trouvé deux solutions :

  • au clavier : défiler avec les flèches
  • à la souris : maintenir le clic gauche ou droit sur l’élément (mais attention en relâchant, l’élément finalement sélectionné sera appliqué au champ)

Y a pas à dire, c’est super intuitif et user friendly. Merci Mozilla \o/

Masquer un élément du DOM depuis les outils de développement

Pour facilement masquer un élément du DOM depuis les outils de développement, il suffit de sélectionner celui-ci dans l’inspecteur puis de presser la touche H pour le masquer puis à nouveau pour le ré-afficher. Plus pratique que de coller des display: none ou autres.

Apparemment ça fonctionne également sur Chrome et Safari.

Mettre en favoris plusieurs onglets à la fois

Fut un temps, Firefox proposait un bouton “marquer tous les onglets” pour mettre en une fois l’ensemble des onglets en favoris (ou marque-pages, signets, bookmark, ou tout autre terme qui vous plaira).

Cette option a disparu, mais il reste possible de le faire. Comme souvent avec Mozilla et les options qu’ils jugent trop avancées pour leurs utilisateurs, c’est plus compliqué qu’avant, mais pour une fois, on y gagne en possibilités (c’est assez rare pour le souligner, d’habitude c’est juste plus chiant).

Voici la marche à suivre :

  1. faire un clic droit sur un onglet et cliquer sur “sélectionner tous les onglets”
  2. c’est à cette étape qu’on y gagne par rapport à avant : via ctrl + clic gauche, vous pouvez dé-sélectionner certains onglets
  3. ensuite, faire un nouveau clic droit sur l’un des onglets sélectionnés puis cliquer sur “marquer ces onglets”
  4. on retombe alors sur la modale habituelle pour enregistrer un favori en choisissant son nom et son emplacement

Dans le cas où vous ne voulez marquer que quelques onglets, il est aussi possible de sauter l’étape 1 et sélectionner l’ensemble des onglets voulus via ctrl + clic gauche.

(source)


Quelques extensions pour Firefox #10

Réduction du pistage, flux RSS et navigation sans compte sur Pinterest

pinterest-guest

Je n’utilise pas des masses Pinterest mais il m’arrive l’une ou l’autre fois de tomber dessus.

Cette extension permet de naviguer sur Pinterest sans compte en supprimant l’overlay demandant de s’enregistrer.

D’autres extensions équivalentes existent, mais celle-ci est semble-t-il la seule à limiter la demande de permissions au strict nécessaire (l’accès aux données sur les différents domaines de Pinterest, là où les autres le demandent sur tous les sites).

Malheureusement elle ne permet pas de faciliter l’enregistrement d’image sans authentification…

ClearURLs

Cette extension nettoie les URLs parcourues en supprimant les paramètres destinés au traçage de la navigation.

Cela permet à la fois de réduire le niveau de surveillance des sites sur votre navigation et d’avoir directement des URLs nettoyées dans la barre d’adresse, ce qui éviter de partager des URL à rallonge pour rien.

Feed Preview

Cette extension détecte les flux RSS et Atom référencés dans les pages web.

Je l’utilise maintenant en remplacement d’Awesome RSS, car elle a l’avantage en plus de proposer un rendu lisible des flux lorsqu’on les visualise dans le navigateur.

C’est pratique notamment lorsque je cherche à télécharger une émission sur le site de Radio France, où le moyen de plus facile de trouver un lien de téléchargement reste le flux RSS.


Quelques extensions pour Firefox #9

Entêtes HTTP, rendu XML et compteur de caractères

ModHeader

Une extension qui permet d’ajouter facilement certains headers aux requêtes HTTP envoyées par le navigateur. Ça fonctionne bien et l’ergonomie est simple et bien pensée.

Son seul défaut, c’est un code fermé, mais je n’ai pas trouvé d’alternative qui soit aussi fonctionnelle.

Pretty XML

Depuis quelque temps (je ne saurais plus dire quand exactement) le rendu des documents XML est devenu vraiment pourri dans Firefox. Du coup lorsque j’ai eu à travailler sur de la génération de fichiers sitemap j’ai regardé ce qu’on pouvait trouver comme extension pour palier à ça.

Celle-ci fait plutôt bien l’affaire : le rendu est lisible et les liens sont navigables, ce qui est l’essentiel de ce que j’attendais.

word count

Une petite extension à l’usage assez ciblé puisqu’elle ajoute une entrée au menu contextuel qui permet de compter le nombre de mots et de caractères composant le texte sélectionné.


Quelques extensions pour Firefox #8

Dark mode, téléchargement en masse et traduction

Download Star

Un remplaçant pour la défunte extension DownThemAll (victime de la suppression de l’ancien système d’extensions) permettant de télécharger en masse les médias affichés ou liés dans une page.

L’interface est peu intuitive, mais en cherchant un peu on s’en sort. Il y a beaucoup d’autres extensions du même type, mais la plupart ont un code fermé et demandent un grand nombre de permissions (ce qui laisse supposer un siphonnage de données perso). Pour celle-là au contraire le code est libre et les permissions demandées sont minimalistes ce qui m’inspire beaucoup plus confiance.

Dark Reader

Une extension qui permet de basculer tous les sites consultés en mode “sombre” pour réduire la fatigue visuelle. Je l’utilise assez peu finalement parce que j’ai la plupart du temps un bon éclairage ambiant (donc je peux m’en passer) et que le rendu étant automatique il est loin d’être toujours très esthétique. Mais ça peut être très utile quand l’éclairage fait défaut.

L’extension permet évidemment d’activer le mode sombre seulement sur certains sites et d’activer ou désactiver le mode en quelques clics.

Simple translate

Dernièrement j’ai eu à traduire beaucoup de documentation technique en anglais. Dans ce cadre j’ai commencé par copier les fragments de textes dans un traducteur automatique (pour finir par retenir celui de Google qui reste le plus efficace), puis copier le résultat et le retravailler un peu pour un résultat satisfaisant (on ne visait pas là de la haute qualité littéraire, juste avoir une version anglaise minimale). Le truc, c’est que ça fait énormément de clics entre deux onglets différents.

Cette extension permet lors de la sélection d’un fragment de texte dans la page d’afficher un encart à côté de la sélection contenant la traduction (via Google). L’avantage, c’est que du coup tout se fait dans la même page et avec bien moins d’opérations puisqu’il suffit de sélectionner le texte puis sélectionner le texte traduit et le copier/coller au bon endroit.

Il est possible d’activer cette traduction en mode automatique ou bien de faire afficher juste un bouton déclenchant la traduction (voir désactiver complètement cet affichage par défaut et passer par le menu contextuel).

Perso une fois le boulot terminé, j’ai désactivé le truc parce que hors processus de traduction, c’est peu utile et envahissant, mais sur le moment ça m’a bien facilité la vie.

Attention cependant, côté Google ils ont un quota de requêtes, du coup comme on était plusieurs collègues à l’utiliser en même temps derrière la même IP, on a fini bloqué en fin de journée (mais c’est revenu le lendemain).


Quelques extensions pour Firefox #7

Auto Tab Discard

Cette extension permet de libérer automatiquement la mémoire allouée aux onglets que l’on n’a plus consultés depuis un certain temps. La page sera alors rechargée à la prochaine consultation de l’onglet.

L’ensemble est configurable avec la possibilité de définir le délai, des exceptions, etc.

Redirect AMP to HTML

Cette extension a pour but, lorsque vous suivez un lien vers une page AMP (pour Accelerated Mobile Page) de rediriger automatiquement vers la page HTML d’origine.

Avantages :

  • on évite de passer par les caches Google (la plupart du temps, c’est Google derrière le cache) ce qui évite de leur fournir des données de consultation et de renforcer encore leur position centrale dominante
  • les versions AMP ne sont pas forcément optimisées pour être affichées sur un vrai ordinateur avec un vrai écran (c’est prévu pour les ordiphones)

Textarea Cache

Cette extension va sauvegarder automatiquement les contenus des champs textarea (textes multilignes), ce qui permet de les retrouver lorsqu’on ferme un onglet par erreur (genre par exemple en tapant ctrl + w au lieu de ctrl + x).