           };

            const RevertButton = document.getElementById('Revert');
            RevertButton.onclick = (event) => {
                Input.value = JSON.stringify(LastValidEntry, null, IndentationWidth);
                Input.dispatchEvent(new Event('input'));
            };

            const IndentButton = document.getElementById('IndentButton');
            IndentButton.onclick = (event) => {
                try {
                    let Entry = JSON.parse(Input.value);
                    I