Skip to main content
 

Cambiare il font dei siti con uno script Greasemonkey

Questo è uno script GreaseMonkey per la modifica del font di quasi tutte le parti che compongono le pagine internet che state visualizzando.

Ho tentato varie strade, perchè volgio modificare anche il testo aggiunto dinamicamente, dopo che la fase di load della pagina si è conclusa.

Fork me on Github

Font family

Leggi tutto …Cambiare il font dei siti con uno script Greasemonkey

Gestione finestre figlie

Questo codice java script permette di gestire l'apertura di sottofinestre in una pagina HTML, limitando il numero massimo il "figlie" che si possono generare. E' sufficiente inserire lo script nella pagina HTML e aprire le sottofinestre chiamando la funzione open_new_app. Si possono definire diverse categorie di finestre, ognuna con un diverso numero massimo di sottofinestre possibili, attraverso l'array kinds.

La chiusura della finestra madre forza la chiusura delle figlie.

Javascript

Leggi tutto …Gestione finestre figlie

Big Decimal

JavasScript non riesce a gestire correttamente operazioni matematiche su numeri decimali. Il codice javascript a questo link offre un livello di precisione molto alto. Per gli interi non c'è limite di precisione, mentre per i floating-point può essere settata la precisione massima.

Utilizzo

var x = new BigNumber("10"), y = new BigNumber("-2");
alert(x.pow(y));
alert(x.pow(1234));

alert((new BigNumber("99999999999999999999999999999999999")).add("999999999999999999999999999.99999999999999999"));

Javascript

Diffusione browser