Archives pour la catégorie Firefox

Un Internet sans publicité

Les astuces qui suivent sont applicables très simplement dans le navigateur Mozilla Firefox et la plupart à Google Chrome.

viaUn Internet sans publicité | Pirate furieux.

Publicités

Marquer tous les onglets > marque-pages de Firefox 5

Dans les versions précédentes de Firefox (version antérieures à la 5 en tout cas puisque c’est FF5 que j’utilise pour le moment), on avait une commande bien pratique : « marquer tous les onglets ».

Ca créait un marque page pour chaque onglet ouvert dans la fenêtre active, donc pas toutes les fenêtres.

Contrairement à « Save Session », les onglets se rouvrent quand vous le décidez (donc pas systématiquement quand on redémarre Firefox).

Bon, rien que pour me contrarier, la commande « Marquer tous les onglets » a disparu du menu « Marque-pages ».

Heureusement elle reste accessible via le raccourci clavier Ctrl +Maj +D.

Pour marquer un groupe d’onglets, vous pouvez ouvrir le menu Marque-pages, item « Marquer tous les onglets », ou utiliser la commande Ctrl +Maj +D. Ceci ouvre la boite de dialogue « Nouveaux marque-pages », d’apparence proche de celle de la boite « Page marquée ». Cette fois-ci, vous devez entrer un nom pour le marque-page.

viaUtiliser les marque-pages de Firefox 5.