Fix #1641: be resilient to WURFL failing to load

google · Dec 17, 2024 · ba97664 · ba97664
1 parent a553dab
commit ba97664
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/web/js/codeworld.js b/web/js/codeworld.js
@@ -334,7 +334,7 @@ function initCodeworld() {
     lineNumbers: true,
     autofocus: true,
     matchBrackets: true,
-    styleActiveLine: !WURFL || !WURFL.is_mobile,
+    styleActiveLine: !window.WURFL || !window.WURFL.is_mobile,
     showTrailingSpace: true,
     indentWithTabs: false,
     indentUnit: 2,