checkboxExample
checkboxExample: any = null
checkboxGeneralize
checkboxGeneralize: any = null
checkboxOptimizeDesktop
checkboxOptimizeDesktop: any = null
checkboxOptimizeMobile
checkboxOptimizeMobile: any = null
checkBoxShownodes
checkBoxShownodes: any = null
downloadBtn
downloadBtn: HTMLElement
editor
editor: any = null
heading
heading: any = languageManager.currentLang.toolsPage.liveDrawingHeading
isSetUp
isSetUp: boolean
pyodideReady
pyodideReady: boolean = false