public-offering
/
pad.pub0.org
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ace2_inner: Replace `lineNumbersShown` with number of children

pull/5153/head
Richard Hansen 2021-08-14 20:47:10 -04:00
parent 27363bf729
commit 1b890e3d4d
1 changed files with 6 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/static/js/ace2_inner.js
View File

@ -73,7 +73,6 @@ function Ace2Inner(editorInfo, cssManagers) {
lineSpan.appendChild(outerDoc.createTextNode('1')); lineSpan.appendChild(outerDoc.createTextNode('1'));
lineDiv.appendChild(lineSpan); lineDiv.appendChild(lineSpan);
})(); })();
let lineNumbersShown = 1;
const scroll = Scroll.init(outerWin); const scroll = Scroll.init(outerWin);
@ -3594,7 +3593,7 @@ function Ace2Inner(editorInfo, cssManagers) {
// Apply height to existing sidediv lines // Apply height to existing sidediv lines
currentLine = 0; currentLine = 0;
while (sidebarLine && currentLine <= lineNumbersShown) { while (sidebarLine && currentLine <= sideDivInner.children.length) {
if (lineOffsets[currentLine] != null) { if (lineOffsets[currentLine] != null) {
sidebarLine.style.height = `${lineOffsets[currentLine]}px`; sidebarLine.style.height = `${lineOffsets[currentLine]}px`;
sidebarLine.style.lineHeight = `${lineHeights[currentLine]}px`; sidebarLine.style.lineHeight = `${lineHeights[currentLine]}px`;
@ -3603,24 +3602,22 @@ function Ace2Inner(editorInfo, cssManagers) {
currentLine++; currentLine++;
} }
if (newNumLines !== lineNumbersShown) { if (newNumLines !== sideDivInner.children.length) {
// Create missing line and apply height // Create missing line and apply height
while (lineNumbersShown < newNumLines) { while (sideDivInner.children.length < newNumLines) {
lineNumbersShown++;
const div = outerDoc.createElement('DIV'); const div = outerDoc.createElement('DIV');
sideDivInner.appendChild(div);
if (lineOffsets[currentLine]) { if (lineOffsets[currentLine]) {
div.style.height = `${lineOffsets[currentLine]}px`; div.style.height = `${lineOffsets[currentLine]}px`;
div.style.lineHeight = `${lineHeights[currentLine]}px`; div.style.lineHeight = `${lineHeights[currentLine]}px`;
} }
$(div).append($(`<span class='line-number'>${String(lineNumbersShown)}</span>`)); $(div).append($(`<span class='line-number'>${sideDivInner.children.length}</span>`));
sideDivInner.appendChild(div);
currentLine++; currentLine++;
} }
// Remove extra lines // Remove extra lines
while (lineNumbersShown > newNumLines) { while (sideDivInner.children.length > newNumLines) {
sideDivInner.removeChild(sideDivInner.lastChild); sideDivInner.removeChild(sideDivInner.lastChild);
lineNumbersShown--;
} }
} }
}; };