In quale file vengono salvate le posizioni dei widget dell'interfaccia utente in Firefox?


0

Sto cercando di cambiare la posizione del pulsante della homepage, ma non ho il lusso di poterlo fare tramite la GUI.

Stavo cercando di trovare il file (probabilmente un file .xul?) In cui sono salvate le posizioni di quei pulsanti ecc., Ma non sono riuscito a trovare nulla. Ogni link mi ha indirizzato al sdk, o un tutorial di sviluppo delle estensioni.

Esiste un file del genere o un altro modo per modificare le posizioni senza usare la GUI?

Risposte:


0

Sembra che il file in cui sono salvate le modifiche alla GUI sia (a partire da FF 33) localstore.rdf. Anche se modificarlo a mano non ha avuto l'effetto desiderato per me.

Ho scoperto, tuttavia, che se si modifica la GUI, browser.uiCustomization.stateviene creata una nuova voce di configurazione chiamata . È una stringa json che descrive le diverse posizioni e gli elementi in essa contenuti. Modificando tale voce è possibile modificare in modo persistente le posizioni dei widget.

Se ti trovi nella situazione, non hai accesso al about:configmenu, puoi impostare e modificare quella voce nel pref.jsfile nella directory del tuo profilo ( ~/.mozilla/firefox/yourprofile/su Linux).

La mia ipotesi è che questa stringa verrà salvata nel file a xulstore.jsonpartire da FF34 [1], ma non ho accesso a quella versione, quindi qualcun altro dovrebbe verificare.

[1] https://bugzilla.mozilla.org/show_bug.cgi?id=559505

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.