Notizie: se possiedi un dispositivo Android, prova Firefox per Android, un browser scattante e dinamico per navigare in ambiente mobile.

Autore Topic: Nuovo editor delle preferenze (78 ESR)  (Letto 913 volte)

0 Utenti e 1 Visitatore stanno visualizzando questo topic.

Offline 23Andrea

  • Post: 452
Nuovo editor delle preferenze (78 ESR)
« il: 11 Agosto 2020 14:41:55 »
Ciao.
Nella nuova pagina about:config non è possibile ordinare le preferenze per stato, in modo da isolare quelle bloccate  :(
Era una funzione comoda  :(
Avete qualche soluzione?
Grazie.

Offline Underpass

  • I've got fabric to sell
  • Amministratore
  • Post: 24618
    • Mozilla Italia
Re:Nuovo editor delle preferenze (78 ESR)
« Risposta #1 il: 11 Agosto 2020 15:00:04 »
Ciao, in che senso "bloccate"?

Offline 23Andrea

  • Post: 452
Re:Nuovo editor delle preferenze (78 ESR)
« Risposta #2 il: 11 Agosto 2020 15:57:03 »
Nel mio editor (68 ESR), le preferenze possono essere:
- predefinite
- modificate (in grassetto)
- bloccate (in corsivo)
Quelle bloccate lo sono per la presenza di un file di configurazione

http://kb.mozillazine.org/Locking_preferences

(ma non solo).
La possibilità di ordinare la colonna Stato, permette di ragguppare le preferenze bloccate o modificate per agevolare la lettura.

Offline Underpass

  • I've got fabric to sell
  • Amministratore
  • Post: 24618
    • Mozilla Italia
Re:Nuovo editor delle preferenze (78 ESR)
« Risposta #3 il: 11 Agosto 2020 16:01:40 »
Mi sa che non è possibile. Forse nella pagina about:support puoi trovare le informazioni sulle preferenze bloccate.

Offline 23Andrea

  • Post: 452
Re:Nuovo editor delle preferenze (78 ESR)
« Risposta #4 il: 20 Ottobre 2020 00:11:41 »
Forse ho trovato una soluzione:
https://www.ghacks.net/2020/04/09/how-to-display-only-modified-preferences-on-aboutconfig/

Aprendo la console web nella pagina about:config ed eseguendo questo codice
Codice: [Seleziona]
var elements = document.getElementsByTagName('tr');
[...elements].filter(
el => !el.classList.contains('has-user-value')
).forEach(
el => el.style.display = (el.style.display === 'none') ? 'table-row' : 'none'
);
si filtrano tutte le preferenze modificate.
Con questo
Codice: [Seleziona]
var elements = document.getElementsByTagName('tr');
[...elements].filter(
el => !el.classList.contains('locked')
).forEach(
el => el.style.display = (el.style.display === 'none') ? 'table-row' : 'none'
);
si filtrano le preferenze bloccate.
Un po' macchinoso... :oops:

Offline 23Andrea

  • Post: 452
Re:Nuovo editor delle preferenze (78 ESR)
« Risposta #5 il: 26 Novembre 2020 05:24:56 »
La vecchia interfaccia XUL di about:config è in realtà ancora disponibile

chrome://global/content/config.xhtml

...a causa di un bug
https://bugzilla.mozilla.org/show_bug.cgi?id=1634977
che, mi sembra, viene tenuto aperto proprio per poter continuare ad utilizzarla
Citazione
It still has many usage reasons per being faster, supporting sorting, searching also values, etc. So the later we remove it the better, as still many issues about it isn't resolved to this day.
:shock:

0 Utenti e 1 Visitatore stanno visualizzando questo topic.