1.
par Cunégonde, le mercredi 15 novembre 2017 à 09h07 commentaire
N'empêche qu'il va plus vite. Je crois que je vais y revenir.
2.
par mirovinben, le mercredi 15 novembre 2017 à 09h50 commentaire
Je confirme, il est plus rapide... L'essayer c'est l'adopter !
3.
par Tomek, le mercredi 15 novembre 2017 à 11h24 commentaire
Bon. Il est super, rapide, l'empreinte mémoire a l'air vraiment contenue, l'interface est cool (qui revient à avant la mode de ressembler à Chrome, c'est pas pire), etc.
Mais la gestion des onglets ! TabMixPlus (me) fait cruellement défaut. Notamment pour :
ouvrir un nouvel onglet juste à côté de celui en cours (je ne comprends même pas que ce ne soit pas le comportement par défaut)
nouvel onglet pour tout·e : recherche, choix dans ses marques-pages, tapage de l'url dans la barre d'adresses…
Les trucs que j'utilise tout le temps.
Pour rouvrir des onglets fermés, j'ai trouvé "undo closed tab" qui fait l'affaire, moins bien puisque sans les favicons dans la liste affichées.
Bref, dans le "workflow" quotidien, je perds vraiment en efficacité et souplesse, je trouve.
Donc, si dans tes pérégrinations, tu trouves de quoi satisfaire aux 2 points évoqués, je suis preneur !
4.
par Tomek, le mercredi 15 novembre 2017 à 22h11 commentaire
Bon, je me réponds : en fait il faut aller dans about:config et modifier certain paramètres qui commencent par browser.tabs … incompréhensible que ce ne soit pas accessible dans les préférences.
5.
par mirovinben, le jeudi 16 novembre 2017 à 06h33 commentaire
Ah ? Cool.. Je vais aller y faire un tour. Merci !
Sinon "undo closed tab" est en effet très pratique.
6.
par mirovinben, le samedi 18 novembre 2017 à 06h39 commentaire
Web Developer est maintenant compatible avec Firefox 57. N'existe pour l'instant qu'en anglais et ne propose plus certaines fonctionnalités à cause de modifs dans les API mises à disposition par le navigateur.
Quoi qu'il en soit, je viens de l'ajouter dans mes extensions. Ce qui me permet de ne plus utiliser "CSS Toggler".
1. par Cunégonde, le mercredi 15 novembre 2017 à 09h07 commentaire
N'empêche qu'il va plus vite. Je crois que je vais y revenir.
2. par mirovinben, le mercredi 15 novembre 2017 à 09h50 commentaire
Je confirme, il est plus rapide... L'essayer c'est l'adopter !
3. par Tomek, le mercredi 15 novembre 2017 à 11h24 commentaire
Bon. Il est super, rapide, l'empreinte mémoire a l'air vraiment contenue, l'interface est cool (qui revient à avant la mode de ressembler à Chrome, c'est pas pire), etc.
Mais la gestion des onglets ! TabMixPlus (me) fait cruellement défaut. Notamment pour :
Les trucs que j'utilise tout le temps.
Pour rouvrir des onglets fermés, j'ai trouvé "undo closed tab" qui fait l'affaire, moins bien puisque sans les favicons dans la liste affichées.
Bref, dans le "workflow" quotidien, je perds vraiment en efficacité et souplesse, je trouve.
Donc, si dans tes pérégrinations, tu trouves de quoi satisfaire aux 2 points évoqués, je suis preneur !
4. par Tomek, le mercredi 15 novembre 2017 à 22h11 commentaire
Bon, je me réponds : en fait il faut aller dans about:config et modifier certain paramètres qui commencent par browser.tabs … incompréhensible que ce ne soit pas accessible dans les préférences.
5. par mirovinben, le jeudi 16 novembre 2017 à 06h33 commentaire
Ah ? Cool.. Je vais aller y faire un tour. Merci !
Sinon "undo closed tab" est en effet très pratique.
6. par mirovinben, le samedi 18 novembre 2017 à 06h39 commentaire
Web Developer est maintenant compatible avec Firefox 57. N'existe pour l'instant qu'en anglais et ne propose plus certaines fonctionnalités à cause de modifs dans les API mises à disposition par le navigateur.
Quoi qu'il en soit, je viens de l'ajouter dans mes extensions. Ce qui me permet de ne plus utiliser "CSS Toggler".