Fixed parsing bug

This issue was one where custom headers that consisted of digits and were less than three characters long could be mistaken for standard headers when being edited again.
This commit is contained in:
Michael Rowley 2022-08-13 17:41:59 +01:00
parent da7cd1668a
commit b615d1350d

View file

@ -1471,15 +1471,15 @@ class InputWaiter {
renameContents = renameContents.substring(0, renameContentsColon); renameContents = renameContents.substring(0, renameContentsColon);
} }
// Remove the single quotation marks from the renaming section // Restore the full header if it hasn't been renamed
renameContents = renameContents.replaceAll("'", ""); if (renameContents.indexOf("'") === -1 && !isNaN(parseInt(renameContents, 10))) {
if (renameContents.length < 3 && !isNaN(parseInt(renameContents, 10))) {
renameContents = `Tab ${renameContents.toString()}`; renameContents = `Tab ${renameContents.toString()}`;
} }
// Remove the single quotation marks from the renaming section
renameContents = renameContents.replaceAll("'", "");
editingElement.setAttribute("value", renameContents); editingElement.setAttribute("value", renameContents);
editingElement.setAttribute("minlength", "3"); // Delimiting between shortened tab headers and custom ones.
targetElement.textContent = ""; targetElement.textContent = "";
editingElement.style.height = "1.5em"; editingElement.style.height = "1.5em";
editingElement.style.textAlign = "center"; editingElement.style.textAlign = "center";