Discussioni MediaWiki:Gadget-Diacritici.js
Il gadget è un tentativo di semplificare l'inserimento di caratteri speciali (caratteri con diacritico). Il metodo usuale (caratteri speciali in toolbox) è lento e fastidioso.
Il gadget funziona nel seguente modo, basato sulla bottoniera e previo inserimento di alcuni bottoni ognuno dedicato a un diacritico:
- si posiziona il cursore immediatamente dopo il carattere su cui va applicato il diacritico
- si clicca il bottone del diacritico;
- il carattere che precede il cursore (anche se "speciale", con diacritico errato) si trasforma nel carattere con diacritico; il cursore resta in posizione.
I bottoni per diacritico attualmente attivi per la bottoniera standard sono compresi in Utente:Alex brollo/PersonalButtons.js; in Utente:Alex brollo/PersonalButtonx.js trovate le funzioni alternative per aggiungere i bottoni nel box di EditInView). --Alex brollo (disc.) 10:09, 23 set 2014 (CEST)
- Aggiornamento
- oggi il gadget funziona anche con le lettere maiuscole. --Alex brollo (disc.) 08:44, 24 set 2014 (CEST)