return all pages that are registered in PageManager.pages
call afterPyodideLoaded on all registered Pages in PageManager.pages
{Page} the page that shall be displayed
{boolean} force the page change, if page is already set
{boolean} adding the page to the history
{Page} the page that shall be displayed
{boolean} force the page change, if page is already set
method used to enable the tooltips on the tools page (todo: see if this can be moved to live tracking)
return an HTML element that is a thin line and can be used to separate content on pages
{string} unique id for the element in the dom, is concatenated like this: "settings-divider-" + id
method called if an error is produced in the code
{Page}
{int} the id of the page change request, necessary to abort showing the page if another page change was requested in the meantime
{int}
{function}
{int} the id of the page change request, necessary to abort showing the page if another page change was requested in the meantime
{int}
uses window.matchMedia to determine the browser language and set the page language accordingly
{Page} the page that shall be displayed
{boolean} adding the page to the history
slide out the page to the left
{int} time the page slides out
{int} time that is waited to hide the page after fade is done
update the color of each registered page in PageManager.pages
update the language of each registered page in PageManager.pages
{number} a number between 0 and 1, set opacity to this value
{Page} the page the opacity shall be set of, can be null if all is true
{boolean} if true opacity of all pages is set to newOpacity, page value is ignored
The class for managing the pages of the application. It handles the setups and visibility of the different pages