Korben, roi d’internet, logo bébé avec des lunettes en mode thug life Korben, roi d’internet, logo bébé avec des lunettes en mode thug life

Korben Upgrade your mind

Masquer automatiquement la barre de favoris de Firefox

Le saviez-vous ? Il n’existe pas sous Firefox, de raccourci clavier pour afficher ou masquer la barre de favoris (appelée aussi « Barre personnelle »).

Dommage. Alors bien sûr vous pouvez la masquer via le menu affichage, mais si vous vous en servez dans la vraie vie, voici une extension nommée Bookmarks Drop Down qui permet de masquer automatiquement cette barre et de la faire réapparaitre sous vos yeux ébahis lorsque vous souris s’en approche.

fav

Je me suis dit que ça pourrait vous être utile. Bookmarks Drop Down est téléchargeable ici.


Travis Touch – Traducteur Électronique Intelligent avec 105 langues

Traductions faciles & Hotspot Internet

105 Langues

Travis Touch est le traducteur intelligent par excellence qui tient dans la paume de votre main. Créez des liens significatifs avec les personnes que vous rencontrez. Que ce soit pour vos loisirs ou les affaires, Travis Touch permet un monde sans barrières linguistiques, traduisant à partir de 105 langues, plus que n’importe quel autre appareil.

Travis Touch écoute ce que vous dites, le traduit dans la langue sélectionnée et lit la traduction en temps réel par son haut-parleur. Votre interlocuteur peut alors s’exprimer dans sa propre langue et Travis traduira pour vous.

En Savoir +



Réponses notables

  1. Valu says:

    Sinon il y a aussi OmniSidebar que j’utilise depuis un petit moment maintenant. Ça permet de mettre la barre de favoris à gauche ou à droite de la fenêtre et de déployer cette dernière en un petit clic ! :slight_smile:

    Je met le lien ici au cas ou : https://addons.mozilla.org/fr/firefox/addon/omnisidebar/

  2. C’est là une petite chose qui me sied mais je n’avais pas pensé à chercher si ça pouvait se faire, donc merci Korben.

  3. Je viens d’essayer, ça fonctionne, sauf pour les dossiers de favoris, qui ne se déploient pas.

    Dommage.

  4. merci je vais tester !
    Comme le montre ton gif, j’ai l’impression que peux de gens connaissent cette astuce que j’ai envie de partager :
    pour augmenter considérablement le nombre de favoris affichables sur la barre perso, il suffit de renommer les favoris avec rien, en laissant la case vide ! ainsi, seules les icônes (ou favicons) apparaîtront, et avec cela on peut quand même très bien reconnaître les sites !
    j’ai donc environ une quarantaine de sites favoris accessibles à portée d’un seul clic !

  5. J’utilise personnellement Beyond Australis depuis un bout de temps, qui permet de masquer automatiquement tout le bloc barre personnelle et barre d’adresse pour ne laisser que les onglets. Si vous vivez comme moi dans 900px de hauteur, vous ne pourrez plus vous en passer.

    https://addons.mozilla.org/fr/firefox/addon/the-fox-only-better/

  6. pourquoi pas ?

Continuer la discussion sur Korben Communauté

6 commentaires supplémentaires dans les réponses

Participants

Comment découper une carte SIM sans la bousiller

vec certains téléphone, ça devient une vraie galère au niveau des cartes SIM. Entre la SIM classique (MiniSIM), la MicroSIM et la NanoSIM, difficile de s’y retrouver et surtout de passer d’une plus grande à une plus petite sans devoir attendre que les opérateurs veuillent bien se donner la peine de vous l’envoyer…

Lire la suite


6 outils pour cloner un disque dur sous Windows et Linux

Cloner c’est facile… Bon, ok, cloner un bébé, c’est déjà plus complexe mais un disque dur, c’est l’enfance de l’art… Alors bien sûr le logiciel le plus connu pour ça, est Ghost de Symantec mais au prix de 999,99 euros HT (j’déconne, je ne connais pas le prix en vrai), c’est déjà plus rentable de se mettre à cloner son petit frère artisanalement dans le garage…

Lire la suite