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);
});