Function getFooterHeight

src/handlers/quickTools.js:626–628

()

}

function getFooterHeight() {
	return Number.parseInt(root.getAttribute("footer-height")) || 0;
}

function focusEditor() {
	const { editor, activeFile } = editorManager;