FireMonkey utilizza l'API ufficiale di Firefox per gli script e gli stili utente
- Categoria: Firefox
FireMonkey è una nuova estensione del browser per il browser Web Firefox che consente agli utenti di gestire gli script e gli stili utente utilizzando l'API degli script utente che Mozilla ha introdotto di recente in Firefox.
L'estensione offre funzionalità simili a estensioni di userscript consolidate come GreaseMonkey , TamperMonkey o ViolentMonkey, nonché estensioni dello stile utente come Stylus a prima vista. Una delle differenze principali, almeno in questo momento, è l'uso da parte di FireMonkey di nuova API UserScripts che Mozilla ha implementato in Firefox di recente.
Mozilla ha rivelato di aver creato l'API per risolvere i problemi di prestazioni, affidabilità e sicurezza relativi agli script utente in Firefox. L'API è progettata per eseguire gli script degli utenti nella propria sandbox per isolarli; estensioni tradizionali come GreaseMonkey eseguono gli script nello stesso processo.
Nota : Mozilla ha modificato il comportamento predefinito per file userchrome.css e userContent.css in Firefox 69 . Questi file non vengono più caricati per impostazione predefinita. Gli utenti devono abilitare il caricamento manualmente per ripristinare la funzionalità.
FireMonkey richiede molte autorizzazioni durante l'installazione; lo sviluppatore spiega perché questi sono necessari su Mozilla AMO. Richiede le stesse autorizzazioni richieste da altre estensioni userscript.
FireMonkey
Le attuali versioni di Firefox supportano l'API UserScripts. Puoi verificare se è così nel modo seguente:
- Carica about: config nella barra degli indirizzi di Firefox.
- Conferma che starai attento.
- Cercare extensions.webextensions.userScripts.enabled .
- Se la preferenza è impostata su TRUE, è abilitata. Un valore FALSE significa che non è abilitato.
È possibile caricare gli script utente e gli stili utente nell'estensione. Il processo è manuale in questo momento. Fare clic sull'icona dell'estensione e lì sulle icone di aggiunta per aggiungere un nuovo script o stile a Firefox. Puoi anche utilizzare le opzioni di esportazione e importazione che trovi nelle impostazioni dell'estensione.
Aggiungere script o stili non è così comodo in questo momento come è necessario copiare il codice, fare clic sul pulsante Aggiungi, incollarlo prima di fare clic su Salva. Tuttavia, il processo ha funzionato perfettamente quando l'ho provato utilizzando gli script pubblicati su Forchetta di grasso .
Le opzioni per salvare gli script utente in stato disabilitato o con l'aggiornamento automatico abilitato sono fornite nell'editor. È possibile modificare gli script e gli stili utente in qualsiasi momento utilizzando l'estensione.
L'estensione supporta le funzioni GreaseMonkey GM3 e GM4 e le funzioni fornite dall'API di Firefox. Alcuni script potrebbero non funzionare correttamente quando vengono creati o importati; l'API di Firefox non consente domini di primo livello (TLD) con caratteri jolly, il che significa che qualcosa come http *: //www.google.*/* non è supportato. Potrebbe essere necessario modificare gli script di conseguenza in modo che possano essere importati senza problemi.
FireMonkey viene fornito con un file della Guida che spiega le differenze e fornisce esempi. È un buon posto per iniziare la tua indagine se qualcosa non funziona come previsto.
L'icona dell'estensione mostra il numero di script e stili in esecuzione sul sito attivo. Un clic sull'icona visualizza gli script e gli stili attivi e un'opzione per disabilitare o abilitare tutti gli stili con un solo clic.
Lo sviluppatore dell'estensione ha aggiunto una serie di funzioni utili all'estensione per migliorare la gestione e l'identificazione degli script. Gli errori di script fanno riferimento al nome dello script nella console per una migliore identificazione e le notifiche dagli script visualizzano anche il nome dello script.
Parole di chiusura
FireMonkey è una nuova promettente estensione per il browser Firefox che ha molto da offrire anche nella versione iniziale. È possibile caricare, gestire, modificare e creare script utente e stili utente utilizzandolo e utilizzando la nuova API degli script utente su cui Mozilla si concentrerà sicuramente in futuro.
L'estensione trarrebbe vantaggio da alcune funzionalità carine, ad es. importazioni dirette da altre estensioni userscript installate o riconoscimento del pulsante 'installa' nei più diffusi archivi userscript.
Ora tu : Esegui script o stili utente nel tuo browser?