Discussioni MediaWiki:Gadget-Tools.js

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

Elimina righe vuote[modifica]

@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]
Estratto da "https://it.wikisource.org/w/index.php?title=Discussioni_MediaWiki:Gadget-Tools.js&oldid=2617641"