Discussioni MediaWiki:Gadget-Tools.js

Ultimo commento: 3 anni fa, lasciato da Alex brollo in merito all'argomento Elimina righe vuote

Elimina righe vuote modifica

Ultimo commento: 3 anni fa3 commenti2 partecipanti alla discussione

@Candalua La funzione eliminaRigheVuote è incomprensibile: oltre alle righe vuote, elimina anche le righe di lunghezza inferiore o uguale a 3. La sostituirei con una sostituzione delle vere righe vuote (o contenenti solo spazi). Che ne dici? --Alex brollo (disc.) 22:04, 7 giu 2020 (CEST)Rispondi

Alex brollo, forse serviva in fase di post-OCR, per pulire da eventuali righe con caratteri spurii, comunque non ho obiezioni alla tua modifica. --Can da Lua (disc.) 09:38, 8 giu 2020 (CEST)Rispondi

@Candalua In effetti non vedo altre spiegazioni, ma l'effetto è insidioso/molto fastidioso se esiste una riga breve "buona". Grazie. --Alex brollo (disc.) 10:10, 8 giu 2020 (CEST)Rispondi

Aggiungi argomento

Estratto da "https://it.wikisource.org/w/index.php?title=Discussioni_MediaWiki:Gadget-Tools.js&oldid=2617641"

Ritorna alla pagina "Gadget-Tools.js".