Quote:
Originariamente inviato da bobo779256
Per ora ho risolto con un po' di codice nel file userChrome.css, cioè: ...
|
interessante, grazie!
ho trovato intanto il codice css per cambiare l'icona grigia delle cartelle dei preferiti nella barra laterale, e ho quindi eliminato l'addon che avevo consigliato prima, che non è compatibile con la 57:
Codice:
treechildren::-moz-tree-image(container) {list-style-image:url("folder.png")!important; -moz-image-region:auto!important;}
il file "folder.png" lo dovete mettere nella cartella dove c'è userChrome.css
basta una icona qualsiasi, se ha la trasparenza è meglio; la potete anche disegnare voi!
io ho provato questa:
https://cdn0.iconfinder.com/data/ico...256/folder.png
quella vecchia più sviluppata orizzontalmente non so dove sia: il massimo che ho potuto fare è stato uno screenshot(*)
quella gialla quasi quadrata che è nella barra in alto si chiama "folder-item.png" ed è in:
chrome://global/skin/icons/
ma per usarla serve quella tecnica delle coordinate di cui non sono pratico
per la cronaca quella grigia è in:
Codice:
jar:file:///C:/Program%20Files%20(x86)/Mozilla%20Firefox/browser/omni.ja!/chrome/browser/skin/classic/browser/places/folder.svg
NB: al momento ho Firefox 56.0 win64-EME-free; resta valido il css per l'interlinea nella barra laterale che avevo postato a pag. 249; l'impostazione
extensions.webextensions.themes.icons.enabled è su false
PS: per cambiare anche l'icona nella barra dei segnalibri in alto
Codice:
#personal-bookmarks .bookmark-item[container] {
list-style-image:url("folder.png") !important;
-moz-image-region:auto !important;
}
(*) trovata:
