Change how flask is created

This commit is contained in:
Romain de Laage 2021-04-02 21:18:13 +02:00
parent 20c210f9cf
commit 43f7689a30
Signed by: rdelaage
GPG Key ID: 534845FADDF0C329
2 changed files with 11 additions and 9 deletions

View File

@ -1,8 +1,10 @@
const flask = new CodeFlask('#code', {
language: 'js',
lineNumbers: true,
areaId: 'thing1',
ariaLabelledby: 'header1',
handleTabs: true/*,
defaultTheme: false*/
});
function getEditor(elmt, lang) {
return new CodeFlask(elmt, {
language: lang,
lineNumbers: true,
areaId: 'thing1',
ariaLabelledby: 'header1',
handleTabs: true/*,
defaultTheme: false*/
})
}

View File

@ -1,4 +1,4 @@
let codeElmt = document.getElementById("code")
const flask = getEditor("#code", "js")
let consoleElmt = document.getElementById("console")
function run(elmtID) {