MediaWiki:Gadget-bottone-eliminaRigheVuote.js
Aspetto
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)
- Edge: tieni premuto il tasto Ctrl e fai clic su Aggiorna, oppure 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();} }
}}});});}