MediaWiki:Gadget-tb-case.js

Nota: Dopo aver salvato le preferenze, perché i cambi abbiano effetto, devi bypassare la cache del tuo browser. Mozilla / Firefox / Safari: tieni premuto Shift mentre clicchi Reload, o premi Ctrl-Shift-R (Cmd-Shift-R per Apple Mac); Google Chrome: premi Ctrl o Shift mentre clicchi F5; IE: premi Ctrl mentre clicchi Refresh, o premi Ctrl-F5; Konqueror:: clicca semplicemente il pulsante di Reload, o premi F5; se usi Opera devi cancellare completamente la chache nel menu Tools→Preferences.

addOnloadHook(function() {
    addToolbarButton('tb-case', pulsantiComando["case"], pulsantiImmagine["case"], '[case]', pulsantiDescr["case"] +' "case"'+((pulsantiHotkey["case"] != '')?' [Alt+'+pulsantiHotkey["case"]+']':''));
});

// Cambia il case del testo selezionato
function changeCase()
{
   WEUpdateTextarea();

   wpTextbox1=document.getElementById("wpTextbox1");

   //ricorda la posizione del cursore
   var curPos=getCurPos();
   var selDim=0;

   //IE support
   if (document.selection) {
      wpTextbox1.focus();
      sel = document.selection.createRange();
      selDim = sel.text.length;

      if (sel.text==sel.text.toLowerCase())
         sel.text=sel.text.toUpperCase()
      else
         sel.text=sel.text.toLowerCase()
   }
   //MOZILLA/NETSCAPE support
   else if (wpTextbox1.selectionStart || wpTextbox1.selectionStart == '0')
   {
      // ricorda la posizione dello scroll della textarea
      var scrollTop, scrollLeft;
      if (wpTextbox1.type == 'textarea' && typeof wpTextbox1.scrollTop !=
      'undefined') {
         scrollTop = wpTextbox1.scrollTop;
         scrollLeft = wpTextbox1.scrollLeft;
      }

      var startPos = wpTextbox1.selectionStart;
      var endPos = wpTextbox1.selectionEnd;
      selDim = endPos - startPos;

      if (wpTextbox1.value.substring(startPos, endPos)==wpTextbox1.value.substring(startPos, endPos).toLowerCase())
         wpTextbox1.value = wpTextbox1.value.substring(0, startPos) +
                            wpTextbox1.value.substring(startPos,endPos).toUpperCase() +
                            wpTextbox1.value.substring(endPos, wpTextbox1.value.length);
      else
         wpTextbox1.value = wpTextbox1.value.substring(0, startPos) +
                            wpTextbox1.value.substring(startPos,endPos).toLowerCase() +
                            wpTextbox1.value.substring(endPos, wpTextbox1.value.length);

      // torna alla posizione di scroll di partenza
      if (typeof scrollTop != 'undefined') {
         wpTextbox1.scrollTop = scrollTop;
         wpTextbox1.scrollLeft = scrollLeft;
      }
   }

   document.getElementById("wpMinoredit").checked=1;

   WEUpdateFrame();

   // Setta la posizione del cursore
   setCurPos(curPos,curPos+selDim);
}