Valutazione discussione:
  • 0 voto(i) - 0 media
  • 1
  • 2
  • 3
  • 4
  • 5
  Condividi: Facebook Twitter
[Risolto] - Firefox 95.02 - Caratteri segnalibri troppo piccoli
#1
Salve
Mi ritrovo con un problemino che vorrei risolvere col vs. aiuto.
https://postimg.cc/xJGGvzbh
Come vedete i caratteri dei link elencati nei segnalibri sono minuscoli e non so come aumentarli (l'immagine è già ingrandita).
Sulle impostazioni di firefox riesco solo a cambiare i caratteri della pagina web visualizzata.
Ho imparato a pescare; il mio maestro mi ha insegnato bene.   20
Ubuntu 22.04 Jammy - Ubuntu Budgie 22.04 Gnome - MX-19
Cita messaggio
#2
  • Digita about:config nella barra degli indirizzi seguito da Invio
  • Conferma di voler procedere
  • Nella casella di ricerca scrivi layout.css.devPixelsPerPx
  • Fai doppio click sulla stringa trovata e sostituisci il suo valore di default (-1.0) con un valore positivo maggiore di 1. Inizia ad esempio con 1.1 e vedi come va. In caso aumenti ad 1.2 e via di questo passo.
Bene per male è carità, male per bene è crudeltà
Cita messaggio
#3
Ciao
Firefox è alla versione 97.0 su windows 10.
I caratteri dei menù che tu dici a me non senbrano piccoli e comunque tutto dovrebbe dipendere dalla grandezza dei caratteri di sistema.
Ok blackstar, come non detto, adesso provo anch'io.
La vita è come uno specchio:ti sorride se la guardi sorridendo
Un giorno senza rischio è non vissuto..
PCLinuxOS Mate - Forum Manjaro Italia Mate/Kde/Xfce - Windows 10-32bit 21h2
Cita messaggio
#4
Oppure da aggiungere queste due righe all'userChrome:

Codice:
treechildren{
font-size: 20px !important;
}

per passare da così

[Immagine: FF-bookmark-origin.png]

a così

[Immagine: FF-bookmark-20px.png]

Ho esagerato con 20px, da provare altri valori per adattare al tipo di schermo che si ha o al risultato cercato
Cita messaggio
#5
Ok.Seguite le indicazioni di Blackstar e impostato il valore ad 1.1 - ha funzionato alla grande.
Grazie
@bobo:
digitando userChrome mi compare:
https://i.postimg.cc/qRHnmpy1/user-Chrome.png
come dovrei proseguire? (giusto per una ulteriore conoscenza)
Ho imparato a pescare; il mio maestro mi ha insegnato bene.   20
Ubuntu 22.04 Jammy - Ubuntu Budgie 22.04 Gnome - MX-19
Cita messaggio
#6
(16/02/2022, 23:11)Andrea Ha scritto: @bobo:
digitando userChrome mi compare:
https://i.postimg.cc/qRHnmpy1/user-Chrome.png
come dovrei proseguire? (giusto per una ulteriore conoscenza)
Ho dato per scontato che conoscessi il file userChrome.css, scusami...

L'userChrome.css è un file di configurazione in cui inserire comandi, come quello che ho postato, per personalizzare la grafica di Firefox, deve essere creato a mano nella cartella 'chrome' (se non esiste va creata a mano) dentro la cartella profilo di Firefox, e con le ultime versioni va attivata la sua funzionalità abilitando una voce dentro ad about:config, vedi questa pagina per sapere dove\come

Ci sono un bel po' di personalizzazioni che possono essere messe in questo file, basta cercare in rete, copiare i comandi dentro l'userchrome, riavviare FF, e vedere l'effetto che fa
Cita messaggio


Vai al forum:


Utenti che stanno guardando questa discussione: 1 Ospite(i)