MediaWiki:Gadget-bottone-eliminaRigheVuote.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.

/*function eliminaRigheVuote() {
    t=leggiBox().split("\n");
    t1=[];
    for (i=0;i<t.length;i+=1) {
    	if (t[i].length>3) t1.push(t[i]);
    }
    scriviBox(t1.join("\n"));
} */


/* Elimina righe vuote di testo grezzo OCR */
if ( typeof $ != 'undefined' && typeof $.fn.wikiEditor != 'undefined' ) {$( function() {
    $( '#wpTextbox1' ).wikiEditor( 'addToToolbar', {
      'section': 'advanced',
      'group': 'format',
      'tools': {'section': {
          label: 'Elimina dal testo le righe vuote',
          type: 'button',
          icon: '//upload.wikimedia.org/wikipedia/commons/5/56/Center.png',
          action: {type: 'callback',
            execute: function(context){eliminaRigheVuote();} }
}}});});}