Topic: Dimensione finestra gestore profili

[Godai71]

Ho provato a cercare nella via lattea, ma non sono arrivato a nulla.
Perciò chiedo qui.

Esiste un modo per ridimensionare la finestra del gestore dei profili in FF (magari anche in TB)?

Il problema è che spesso non vedo tutti i profili attualmente esistenti e devo andare di scroll.

[Gioxx]

Non mi pare di ricordare codici (stile UserChrome) per modificare le dimensioni di quella finestra.

[klades]

Il gestore dei profili non è manipolabile né via estensione (almeno un'estensione "normale"), né attraverso modifiche all'userChrome.css.
L'unica via che puoi seguire per ottenere quello che cerchi è fare "a manina" e cioè:

- con Firefox chiuso, vai nella directory "chrome" della cartella d'installazione del programma, trova il file "toolkit.jar" e fanne una copia di backup
- scompatta il file toolkit.jar con unzip o simili
- ti si crea una nuova directory "content", entra dentro in "mozapps" --> "profile" e trova il file "profileSelection.xul"
- apri il file con un editor di testo, trova la riga

Codice: [Seleziona]

  <listbox id="profiles" rows="5" seltype="single"
e cambia il valore di "rows" da "5" a "15"
- ricompatta la directory "content" e rinomina il file zip in "toolkit.jar"

Se hai fatto tutto per benino, ora la finestra del gestore dei profili dovrebbe essere molto più lunga.
Ovviamente se qualcosa va storto e non riesci a venirne a capo, rimetti la copia di backup di toolkit.jar a posto.

Attenzione a due cose:
1) quando modifichi il file profileSelection.xul, fai attenzione a salvarlo sempre in UTF8
2) è possibile che tu debba ripetere questa procedura in occasione di futuri aggiornamenti di Firefox

...ne vale la pena? Non lo so, vedi tu
Ciao, Paolo

[Godai71]

non appena non ho localizzazioni in corso, ci provo.

Grazie per le dritte.

Edit:Funziona. Ho impostato 10 e al riavvio nel gestore ci dovrebbe esser lo spazio per 10 nomi.
L'unica cosa è che i pulsanti sono mezzi fuori dalla finestra.
Domani provo a vedere se ne vengo fuori, ora che mi è stato detto dove guardare.....