From 6e138db1c0be03768e1c1297668260614011b9e1 Mon Sep 17 00:00:00 2001 From: vfbd Date: Fri, 24 Jun 2022 12:44:00 -0400 Subject: [PATCH] Clean up whitespace in the editor as well --- static/application.js | 45 +++++++++++++++++++++++++++++++++++++++++-- templates/index.html | 2 +- 2 files changed, 44 insertions(+), 3 deletions(-) diff --git a/static/application.js b/static/application.js index b5c1a585..5b9820d2 100644 --- a/static/application.js +++ b/static/application.js @@ -1717,7 +1717,7 @@ function applyChunkDeltas(nodes) { var selected_chunks = buildChunkSetFromNodeArray(getSelectedNodes()); for(var i = 0; i < chunks.length; i++) { var chunk = document.getElementById("n" + chunks[i]); - if(chunk && formatChunkInnerText(chunk).length != 0 && chunks[i] != '0') { + if(chunk && formatChunkInnerText(chunk).trim().length != 0 && chunks[i] != '0') { if(!selected_chunks.has(chunks[i])) { modified_chunks.delete(chunks[i]); socket.send({'cmd': 'inlineedit', 'chunk': chunks[i], 'data': formatChunkInnerText(chunk)}); @@ -1726,7 +1726,7 @@ function applyChunkDeltas(nodes) { } else { if(!selected_chunks.has(chunks[i])) { modified_chunks.delete(chunks[i]); - socket.send({'cmd': 'inlineedit', 'chunk': chunks[i], 'data': ''}); + socket.send({'cmd': 'inlineedit', 'chunk': chunks[i], 'data': formatChunkInnerText(chunk)}); } empty_chunks.add(chunks[i]); } @@ -1858,6 +1858,46 @@ function highlightEditingChunks() { } } +function cleanupChunkWhitespace() { + // Merge empty chunks with the next chunk + var chunks = Array.from(empty_chunks); + chunks.sort(function(e) {parseInt(e)}); + for(var i = 0; i < chunks.length; i++) { + var original_chunk = document.getElementById("n" + chunks[i]); + original_chunk.innerText = footer + original_chunk.innerText; + footer = ""; + var chunk = original_chunk.nextSibling; + while(chunk) { + if(chunk.tagName === "CHUNK") { + break; + } + chunk = chunk.nextSibling; + } + if(chunk) { + chunk.innerText = original_chunk.innerText + chunk.innerText; + } + original_chunk.innerText = ""; + } + // Move whitespace at the end of non-empty chunks into the beginning of the next non-empty chunk + var chunks = Array.from(modified_chunks); + chunks.sort(function(e) {parseInt(e)}); + for(var i = 0; i < chunks.length; i++) { + var original_chunk = document.getElementById("n" + chunks[i]); + var chunk = original_chunk.nextSibling; + while(chunk) { + if(chunk.tagName === "CHUNK" && !empty_chunks.has(chunk.getAttribute("n"))) { + break; + } + chunk = chunk.nextSibling; + } + var ln = original_chunk.innerText.trimEnd().length; + if (chunk) { + chunk.innerText = original_chunk.innerText.substring(ln) + chunk.innerText; + } + original_chunk.innerText = original_chunk.innerText.substring(0, ln); + } +} + // This gets run every time the text in a chunk is edited // or a chunk is deleted function chunkOnDOMMutate(mutations, observer) { @@ -1936,6 +1976,7 @@ function chunkOnFocusOut(event) { if(document.activeElement === game_text[0] || game_text[0].contains(document.activeElement)) { return; } + cleanupChunkWhitespace(); syncAllModifiedChunks(true); setTimeout(function() { var blurred = game_text[0] !== document.activeElement; diff --git a/templates/index.html b/templates/index.html index 6acab35f..e2457a68 100644 --- a/templates/index.html +++ b/templates/index.html @@ -17,7 +17,7 @@ - + {% if flaskwebgui %}