string is an id used for an element in the dom that displays a language string. The language string is retrieved dynamically from the LanguageManager and put as innerHTML of the element if Content.updateLang is called
the id of the element in the dom that holds this content
adds event listeners to elements if necessary
Executes code that depends on Pyodide fully loaded. Is called after Pyodide is ready and makes changes to the element created with this.setup() that can only be active or made after Pyodide is loaded. Is called by PageManager as soon as Pyodide is ready.
generate a start button that can display the loading progress of Pyodide
{string} id of the element in the dom
Is called after the Page is usable by PageManager and is the set-up of funny functionality but not necessary for function of page.
removes the containers added with Content.showStartBtnProgressBar and activates the button
adds the innerHTML to an HTML element that indicate the loading progress of Pyodide
{HTMLButtonElement}
updates the color of elements, text or headings if necessary
{window.definitions.selectorIDs}
iterates over each id specified in Content.idLangMap and reassigns the current language string to the innerHTML of the element retrieved from the dom with document.getElementById(id)
This Selector is set when an external element is solved to avoid updating information on the page. It does nothing and asserts that function calls can be made and don't produce unexpected behaviour or errors. Is used if a qr code is scanned or a circuit from the editor is solved for state.currentSelector