Discussioni MediaWiki:Gadget-Diacritici.js

Contenuti della pagina non supportati in altre lingue.
Da Wikisource.

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)[rispondi]

Aggiornamento
oggi il gadget funziona anche con le lettere maiuscole. --Alex brollo (disc.) 08:44, 24 set 2014 (CEST)[rispondi]
Estratto da "https://it.wikisource.org/w/index.php?title=Discussioni_MediaWiki:Gadget-Diacritici.js&oldid=1458101"