>_<
Pourquoi y’a pas de user.js dans Firefox ? En tout cas, rien de que je trouve ne marche. Comment ça se fait ?
L’interface de Firefox (le « chrome »), donc la disposition des barres d’outils, des onglets, la taille des onglets… Est un simple DOM en XML qu’on peut même modifier en CSS. On peut faire par exemple ça :
http://lehollandaisvolant.net/tuto/firefox/firefox_contextmenu_delire.png
Mais techniquement il est aussi possible de modifier chaque élément avec du JS. Je n’y arrive pas.
Pourtant, c’est comme ça que les extensions fonctionnent. Je vais devoir faire une putain d’extension juste pour changer l’attribut d’un seul élément du dom ?
tout ce que je veux, c’est ça : « document.getElementById('PlacesToolbarItems').orient = "vertical";
»
(Avoir ma barre de favoris verticalement. Ça marche que je modifie le chrome.xul avec DOM Inspector, mais le changement part quand on redémarrer Firefox.)
EDIT : ce que je veux c’est ça :
http://lehollandaisvolant.net/img/Capture-Couleur-science---Mozilla-Firefox.png
C’est là, bien en place. Mais seulement de façon éphémère (faites pas gaffe aux couleurs).