From 43f7689a30d00deafa643e822051278a4b18df5c Mon Sep 17 00:00:00 2001
From: Romain de Laage <romain.delaage@rdelaage.ovh>
Date: Fri, 2 Apr 2021 21:18:13 +0200
Subject: [PATCH] Change how flask is created

---
 assets/js/editor.js | 18 ++++++++++--------
 assets/js/jspg.js   |  2 +-
 2 files changed, 11 insertions(+), 9 deletions(-)

diff --git a/assets/js/editor.js b/assets/js/editor.js
index d07f18b..84624eb 100644
--- a/assets/js/editor.js
+++ b/assets/js/editor.js
@@ -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*/
+	})
+}
diff --git a/assets/js/jspg.js b/assets/js/jspg.js
index 4c73fea..1c797ba 100644
--- a/assets/js/jspg.js
+++ b/assets/js/jspg.js
@@ -1,4 +1,4 @@
-let codeElmt = document.getElementById("code")
+const flask = getEditor("#code", "js")
 let consoleElmt = document.getElementById("console")
 
 function run(elmtID) {