Autoblog du Hollandais Volant

Ce site n'est pas le site officiel lehollandaisvolant.net.
C'est un blog automatisé qui réplique les articles de lehollandaisvolant.net

Firefox : placer la barre personnelle verticalement

Sun, 20 Aug 2017 03:18:31 +0200 - (source)

J’utilise Firefox Nightly (57). Cette version est diablement plus rapide que Firefox 55 (la version actuellement stable, avant que la 57 soit définitivement adoptée, en novembre prochain), mais elle vient avec un gros hic : Mozilla est en train de tout refaire la mécanique interne du navigateur (la raison pour laquelle les performances sont si exceptionnelles), mais du coup les extensions actuelles ne fonctionnent plus. Il faut que les éditeurs des extensions mettent à jour les extensions et ceci va prendre du temps (seules quelques extensions sont aujourd’hui transposées sur le nouveau système).

Une extension que j’utilisais permettait d’avoir la barre des marques pages verticalement sur le côté droit : ça permet de gagner de la place à l’écran, ne fonctionne plus !

Pour obtenir le même résultat, on peut soi-même bricoler l’interface de Firefox. Ceci est rendu possible grâce au fichier userChrome.css : c’est un fichier CSS qui permet de manipuler les éléments de l’interface en CSS.

Ce fichier se trouve dans le dossier chrome/ du dossier de profil de Firefox.
Pour trouver le dossier du profile, copiez ceci dans la barre d’adresse et ça vous donnera le chemin vers le dossier du profile : about:profiles. Allez dans ce dossier, puis allez dans le sous-dossier chrome (s’il ne s’y trouve pas, créez-le).

Créez ensuite un fichier userChrome.css (attention : c’est un fichier .css, il ne faut pas qu’il y ait le .txt à la fin).

Et copiez-y le code suivant :

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");

/* ne garde plus que les icône, pas les étiquettes */
#personal-bookmarks .toolbarbutton-text {display:none!important}

#PersonalToolbar {
	position: fixed!important;
	 /* own width of bookmark-bars */
	right: 35px!important;
	/* hight of url-bar + menu bar (top:0 corresponds of very top of firefox's interface) */
	top: 100px!important;
	height: 35px!important;
	/* turns the personnalToolbar on its side (from top-right, 90° CCW */
	transform-origin: top right!important;
	transform: rotate(-90deg)!important;
	padding: 0!important;
	margin: 0!important;
}

#personal-bookmarks {
	height: 100%!important;
	width: 100%!important;
	padding: 0!important;
	margin: 0!important;
	/* to have the icons in the previous listing order, rotate the list-of bookmarks 180° CW */
	transform: rotate(180deg)!important;
	transform-origin: 50% 50%!important;
}
#personal-bookmarks .bookmark-item {
	/* Icons are on theire side due to the 90° + 180° rotation. Put them back with a rotation, 90° CCW */
	transform: rotate(-90deg)!important;
	height: 100%!important;
	width: 25px!important;
}

/* this is to make room for the toolbar besides the browsing area of Firefox */
#browser,
#browser-bottombox {
    margin-right: 35px!important;
}

Et voilà le résultat :

capture d’écran de Firefox avec la barre de favoris verticale sur la droite
Bien-sûr, en modifiant quelques trucs, on peut aussi l’afficher sur la gauche de la page.

Oh et en cas de soucis avec mon code, supprimez le code du fichier, ou bien supprimez le fichier, puis relancez Firefox. Ce fichier permet de grandes choses, mais ce n’est pas un fichier critique.

ÉDIT : Malah me signale que cette astuce fonctionne également avec Firefox 55.

ÉDIT2 : Il y a un petit bug avec mon astuce : l’espace blanc sur le côté droit (celui qui décale la partie "page web" pour donner de la place à la barre) se retrouve présente également en plein écran. Si je trouve une solution, je la publierai, mais c’est pour moi un soucis minime donc n’attendez pas que je planche dessus dans l’immédiat.


Powered by VroumVroumBlog 0.1.31 - RSS Feed
Download config articles