🤖 Automatically update generated files

static/js/appbundle.js

@@ -60516,6 +60516,7 @@ ${o3}` : i3;
     theModalEditor: () => theModalEditor,
     toggleDevelopersMode: () => toggleDevelopersMode,
     toggleDropdown: () => toggleDropdown,
+    toggleVariableView: () => toggleVariableView,
     toggle_blur_code: () => toggle_blur_code,
     toggle_keyword_language: () => toggle_keyword_language,
     toggle_show_students_class_overview: () => toggle_show_students_class_overview,
@@ -60887,6 +60888,7 @@ ${o3}` : i3;
       "multiple_keywords_warning": "You are trying to use the keyword {orig_keyword}, but this keyword might have several meanings. Please choose the one you're trying to use from this list and copy paste it in your code, curly braces included: {keyword_list}",
       "restaurant": "\u{1F363}, \u{1F355}, \u{1F354}",
       "rock": "\u2702\uFE0F, \u{1F4DC}, \u{1F5FB}",
+      "select_all": "Select all",
       "selected": "Selected",
       "songs": "\u{1F3B5},\u{1F3B6}",
       "teacher_welcome": "Welcome to Hedy! Your are now the proud owner of a teachers account which allows you to create classes and invite students.",
@@ -61711,6 +61713,7 @@ ${o3}` : i3;
       "multiple_keywords_warning": "You are trying to use the keyword {orig_keyword}, but this keyword might have several meanings. Please choose the one you're trying to use from this list and copy paste it in your code, curly braces included: {keyword_list}",
       "restaurant": "\u{1F363}, \u{1F355}, \u{1F354}",
       "rock": "\u2702\uFE0F, \u{1F4DC}, \u{1F5FB}",
+      "select_all": "Select all",
       "selected": "Selected",
       "songs": "\u{1F3B5},\u{1F3B6}",
       "teacher_welcome": "Welcome to Hedy! Your are now the proud owner of a teachers account which allows you to create classes and invite students.",
@@ -103626,7 +103629,7 @@ def note_with_error(value, err):
   var $editor;
   var keywordHasAlert = new Map();
   async function initializeCustomAdventurePage(_options) {
-    const editorContainer = document.querySelector("#adventure-editor");
+    const editorContainer = document.querySelector("#adventure_editor");
     let lang = document.querySelector("#languages_dropdown").selected[0];
     const TRADUCTIONS = convert(highlighting_trad_default);
     if (!TRADUCTIONS.has(lang)) {

static/js/message-translations.ts

@@ -359,6 +359,7 @@ export const TRANSLATIONS: Record<string, Record<MessageKey, string>> = {
     "multiple_keywords_warning": "You are trying to use the keyword {orig_keyword}, but this keyword might have several meanings. Please choose the one you're trying to use from this list and copy paste it in your code, curly braces included: {keyword_list}",
     "restaurant": "🍣, 🍕, 🍔",
     "rock": "✂️, 📜, 🗻",
+    "select_all": "Select all",
     "selected": "Selected",
     "songs": "🎵,🎶",
     "teacher_welcome": "Welcome to Hedy! Your are now the proud owner of a teachers account which allows you to create classes and invite students.",
@@ -1183,6 +1184,7 @@ export const TRANSLATIONS: Record<string, Record<MessageKey, string>> = {
     "multiple_keywords_warning": "You are trying to use the keyword {orig_keyword}, but this keyword might have several meanings. Please choose the one you're trying to use from this list and copy paste it in your code, curly braces included: {keyword_list}",
     "restaurant": "🍣, 🍕, 🍔",
     "rock": "✂️, 📜, 🗻",
+    "select_all": "Select all",
     "selected": "Selected",
     "songs": "🎵,🎶",
     "teacher_welcome": "Welcome to Hedy! Your are now the proud owner of a teachers account which allows you to create classes and invite students.",