Utente:OrbiliusMagister/PersonalButtons.js

Nota: dopo aver pubblicato, potrebbe essere necessario pulire la cache del proprio browser per vedere i cambiamenti.

Firefox / Safari: tieni premuto il tasto delle maiuscole Shift e fai clic su Ricarica, oppure premi Ctrl-F5 o Ctrl-R (⌘-R su Mac)
Google Chrome: premi Ctrl-Shift-R (⌘-Shift-R su un Mac)
Internet Explorer / Edge: tieni premuto il tasto Ctrl e fai clic su Aggiorna, oppure premi Ctrl-F5
Opera: premi Ctrl-F5.

// pone un diacritico breve sul carattere precedente il focus
shortcut.add("Ctrl+Shift+s", function () {
    var short="ă".normalize("NFD")[1];
    var t=selection();
    var c=t[0].substr(-1);
    c=c.normalize("NFD")[0]+short;
    c=c.normalize("NFC");
    t[0]=t[0].substr(0, t[0].length-1)+c;
    scriviSel(t);
});

// pone un diacritico lungo sul carattere precedente il focus
shortcut.add("Ctrl+Shift+l", function () {
    var long="ā".normalize("NFD")[1];
    var t=selection();
    var c=t[0].substr(-1);
    c=c.normalize("NFD")[0]+long;
    c=c.normalize("NFC");
    t[0]=t[0].substr(0, t[0].length-1)+c;
    scriviSel(t);
});

// normalizza (ossia elimina i diacritici) tutti i caratteri nel testo selezionato
shortcut.add("Ctrl+Shift+0",function() {
    var t=selection();
    var s=t[1].split("");
    for (i=0; i<s.length; i+=1) {
        s[i]=s[i].normalize("NFD")[0];
    }
    t[1]=s.join("");
    scriviSel(t);
});