1 résultat trouvé

par rphbin
11 mai 2019, 16:00
Forum : Mozilla Firefox : le navigateur
Sujet : Changer le Répertoire des marques pages par défaut
Réponses : 5
Vues : 549

Re: Changer le Répertoire des marques pages par défaut

Moi j'utilise AutoHotkey. C'est un petit outil qui permet de se sortir d'une infinité de situations. Dans ce cas-ci, une seul touche (définie par soi-même) permettra de décider du dossier par défaut qu'on veut. Si ça intéresse quelqu'un, je peux donner plus de détails.