From 41fadf54ba1be926b08d8f712c102ca0bf7003cd Mon Sep 17 00:00:00 2001
From: Suzanne Soy <ligo@suzanne.soy>
Date: Wed, 23 Jun 2021 18:13:43 +0100
Subject: [PATCH] Debug textareas which are not transformed into CodeMirror
 instances on mobile

---
 git-tutorial.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/git-tutorial.js b/git-tutorial.js
index 9429c14..1844de6 100644
--- a/git-tutorial.js
+++ b/git-tutorial.js
@@ -940,6 +940,7 @@ function ___functions_to_html(section) {
   for (var j = 0; j < ta.length; j++) {
     if (___ancestor(ta[j], 'section') == section) {
       var lines = ta[j].value.split('\n');
+      console.log('toCodeMirror:', ta[j]);
       var ret = ___toCodeMirror(ta[j]);
       var editor = ret.editor;
       var editor_id = ret.editor_id;