+window.setInterval(function() {
+ let val = "?";
+ if (document.activeElement == tui.inputEl) {
+ val = "on (click outside terminal to change)";
+ } else {
+ val = "off (click into terminal to change)";
+ };
+ document.getElementById("keyboard_control").textContent = val;
+}, 100);