mimi1966
Membre
- Inscrit
- 15 Juin 2013
- Messages
- 563
- Points
- 18
- #1
Bonjour à Tous
Si vous voulez des astuces pour la nouvelle mouture de Firefox 57, faite moi signe, je vous expliquerai quelques notion sur cette nouvelle version, donc on va commencer par Personnaliser FF 57 sans extensions
Quelques astuces pour personnaliser Firefox 57 en l'abscence d'extensions adéquates.
Certaines sont connues, d'autres pas.
D'abord on va utiliser le fichier userChrome.css dans le dossier profile\chrome.
Le dossier et le fichier n'existent pas par défaut. Il faut les créer.
userChrome.css est un fichier texte. Utiliser le blocnote.
/* Onglets en dessous de la barre d'adresse et barre de favoris au-dessus des onglets */
#TabsToolbar {-moz-box-ordinal-group: 2}
#navigator-toolbox toolbar:not(#nav-bar):not(#toolbar-menubar) {-moz-box-ordinal-group:10}
#TabsToolbar {-moz-box-ordinal-group:1000 !important}
Pour les deux suivants, vous pouvez supprimer les lignes pour les éléments à conserver.
/* Supprimer les options non voulues des Marque-pages dans le barre de menus */
#subscribeToPageMenuitem {display: none !important}
#organizeBookmarksSeparator {display: none !important}
#bookmarksToolbarSeparator {display: none !important}
#bookmarksToolbarFolderMenu {display: none !important}
#menu_unsortedBookmarks {display: none !important}
/* Supprimer les options non voulues des Marque-pages dans le bouton Marque-pages */
#BMB_viewBookmarksSidebar {display: none !important}
#BMB_bookmarksToolbar {display: none !important}
#BMB_unsortedBookmarks {display: none !important}
#BMB_bookmarksShowAll {display: none !important}
#BMB_bookmarksShowAllTop + menuseparator {display: none !important}
#BMB_bookmarksShowAllTop {display: none !important}
Ceci concerne l'apparence des onglets lus et non lus.
Changer la couleur, la police à vos goûts :
/* Apparence des onglets lus */
.tabbrowser-tab[selected] .tab-label{
color: black; !important;
font-weight: normal !important;
font-size: 12px !important;
background-color: transparent !important;
}
/* Apparence des onglets non lus */
.tabbrowser-tab[unread] .tab-label{
color: green !important;
font-weight: bold; !important;
font-style: italic !important;
font-size: 12px !important;
background-color: lightyellow !important;
}
Ici c'est dans le fichier prefs.js dans le dossier profile.
On peut aussi dans about:config : Clic droit ----> Nouveau ---> valeur boolienne.
Certaines valeurs existent déjà. Il faut les modifier.
Pour que FF ne se ferme pas avec la fermeture du dernier onglet :
user_pref("browser.tabs.closeWindowWithLastTab", false);
Pour ouvrir la recherche dans un nouvel onglet :
user_pref("browser.search.openintab", true);
Pour ouvrir les marques-page dans un nouvel onglet :
user_pref("browser.tabs.loadBookmarksInTabs", true);
Pour que le nouvel onglet s'ouvre à la fin et non à côté de l'onglet courant :
user_pref("browser.tabs.insertRelatedAfterCurrent", false);
Pour que les onglets s'ouvrent en arrière plan :
user_pref("browser.tabs.loadBookmarksInBackground", true)
user_pref("browser.tabs.loadDivertedInBackground", true);
Ouvrir les liens dans un nouvel onglet :
Malheureusement, il n'y a pas moyen, sans extensions, d'ouvrir les liens dans la barre d'adresse dans un nouvel onglet.
Personnellement, la seule extension qui me manque cruellement, c'est Add Bookmark Here.
Ajouter un marque-page avec l'éditeur de FF relève du parcours du combattant pour atteindre le dossier cible.
Si vous avez d'autres astuces, n'hésitez pas à les communiquer ici.
Si vous voulez des astuces pour la nouvelle mouture de Firefox 57, faite moi signe, je vous expliquerai quelques notion sur cette nouvelle version, donc on va commencer par Personnaliser FF 57 sans extensions
Quelques astuces pour personnaliser Firefox 57 en l'abscence d'extensions adéquates.
Certaines sont connues, d'autres pas.
D'abord on va utiliser le fichier userChrome.css dans le dossier profile\chrome.
Le dossier et le fichier n'existent pas par défaut. Il faut les créer.
userChrome.css est un fichier texte. Utiliser le blocnote.
/* Onglets en dessous de la barre d'adresse et barre de favoris au-dessus des onglets */
#TabsToolbar {-moz-box-ordinal-group: 2}
#navigator-toolbox toolbar:not(#nav-bar):not(#toolbar-menubar) {-moz-box-ordinal-group:10}
#TabsToolbar {-moz-box-ordinal-group:1000 !important}
Pour les deux suivants, vous pouvez supprimer les lignes pour les éléments à conserver.
/* Supprimer les options non voulues des Marque-pages dans le barre de menus */
#subscribeToPageMenuitem {display: none !important}
#organizeBookmarksSeparator {display: none !important}
#bookmarksToolbarSeparator {display: none !important}
#bookmarksToolbarFolderMenu {display: none !important}
#menu_unsortedBookmarks {display: none !important}
/* Supprimer les options non voulues des Marque-pages dans le bouton Marque-pages */
#BMB_viewBookmarksSidebar {display: none !important}
#BMB_bookmarksToolbar {display: none !important}
#BMB_unsortedBookmarks {display: none !important}
#BMB_bookmarksShowAll {display: none !important}
#BMB_bookmarksShowAllTop + menuseparator {display: none !important}
#BMB_bookmarksShowAllTop {display: none !important}
Ceci concerne l'apparence des onglets lus et non lus.
Changer la couleur, la police à vos goûts :
/* Apparence des onglets lus */
.tabbrowser-tab[selected] .tab-label{
color: black; !important;
font-weight: normal !important;
font-size: 12px !important;
background-color: transparent !important;
}
/* Apparence des onglets non lus */
.tabbrowser-tab[unread] .tab-label{
color: green !important;
font-weight: bold; !important;
font-style: italic !important;
font-size: 12px !important;
background-color: lightyellow !important;
}
Ici c'est dans le fichier prefs.js dans le dossier profile.
On peut aussi dans about:config : Clic droit ----> Nouveau ---> valeur boolienne.
Certaines valeurs existent déjà. Il faut les modifier.
Pour que FF ne se ferme pas avec la fermeture du dernier onglet :
user_pref("browser.tabs.closeWindowWithLastTab", false);
Pour ouvrir la recherche dans un nouvel onglet :
user_pref("browser.search.openintab", true);
Pour ouvrir les marques-page dans un nouvel onglet :
user_pref("browser.tabs.loadBookmarksInTabs", true);
Pour que le nouvel onglet s'ouvre à la fin et non à côté de l'onglet courant :
user_pref("browser.tabs.insertRelatedAfterCurrent", false);
Pour que les onglets s'ouvrent en arrière plan :
user_pref("browser.tabs.loadBookmarksInBackground", true)
user_pref("browser.tabs.loadDivertedInBackground", true);
Ouvrir les liens dans un nouvel onglet :
S'il vous plaît,
Connexion
ou
S'inscrire
pour voir le contenu ou les urls !
Malheureusement, il n'y a pas moyen, sans extensions, d'ouvrir les liens dans la barre d'adresse dans un nouvel onglet.
Personnellement, la seule extension qui me manque cruellement, c'est Add Bookmark Here.
S'il vous plaît,
Connexion
ou
S'inscrire
pour voir le contenu ou les urls !
Ajouter un marque-page avec l'éditeur de FF relève du parcours du combattant pour atteindre le dossier cible.
Si vous avez d'autres astuces, n'hésitez pas à les communiquer ici.