Revert logHEADmain

2 files changed, 4 insertions, 62 deletions

diff --git a/scripts/gui-common/log.js b/scripts/gui-common/log.js
deleted file mode 100644
index bc93546..0000000
--- a/scripts/gui-common/log.js
+++ /dev/null
@@ -1,38 +0,0 @@
-'use strict';
-
-
-const LOG_EL = document.getElementsByTagName("log")[0];
-let LAST_LOG_TYPE = "";
-
-function at_bot(el) {
-    return (el.scrollTop + 10) >= (el.scrollHeight - el.clientHeight)
-}
-
-function addLogEntry(object) {
-
-    let do_scroll = at_bot(LOG_EL);
-
-    let out = {
-        type: object.type,
-        target: object.target
-    };
-
-    if (LAST_LOG_TYPE == "mousemove" || LAST_LOG_TYPE == "touchmove") {
-        if (LAST_LOG_TYPE == out.type)
-            return;
-    }
-
-    LAST_LOG_TYPE = out.type;
-
-    let entry = document.createElement("entry");
-    entry.innerText = JSON.stringify(out);
-
-    LOG_EL.appendChild(entry);
-
-    if (do_scroll) {
-        LOG_EL.scroll({
-            top: LOG_EL.scrollHeight,
-            behavior: "instant",
-        });
-    }
-}
\ No newline at end of file
diff --git a/scripts/gui-common/widgets.js b/scripts/gui-common/widgets.js
index c99c3b1..627119f 100644
--- a/scripts/gui-common/widgets.js
+++ b/scripts/gui-common/widgets.js
@@ -1,7 +1,5 @@
 'use strict';
 
-var WIDGETS_DEBUG = false;
-
 /**
  * The base Widget class.  Represents an interactible
  * value-producing object in the browser, like an input.
@@ -108,10 +106,6 @@ class Widget extends EventTarget{
     /** @param {MouseEvent} event */
     #emitMouseEvent(event)
     {
-        if (WIDGETS_DEBUG) {
-            addLogEntry(event);
-        }
-
         if (this.#inactive)
             this.dispatchEvent(new CustomEvent("inactive", {detail: {widget: this, event: new MouseEvent(event.type, event)}}));
         else
@@ -121,10 +115,6 @@ class Widget extends EventTarget{
     /** @param {TouchEvent} event */
     #emitTouchEvent(event)
     {
-        if (WIDGETS_DEBUG) {
-            addLogEntry(event);
-        }
-
         if (event.type == "touchstart")
             this.element.classList.add("touch");
         else if (event.type == "touchend" || event.type == "touchcancel")
@@ -139,11 +129,8 @@ class Widget extends EventTarget{
     }
 
     /** @param {KeyboardEvent} event */
-    #emitKeyboardEvent(event) {
-        if (WIDGETS_DEBUG) {
-            addLogEntry(event);
-        }
-
+    #emitKeyboardEvent(event)
+    {
         if (this.#inactive)
             this.dispatchEvent(new CustomEvent("inactive", {detail: {widget: this, event: new KeyboardEvent(event.type, event)}}));
         else
@@ -154,11 +141,8 @@ class Widget extends EventTarget{
     }
 
     /** @param {FocusEvent} event */
-    #emitFocusEvent(event) {
-        if (WIDGETS_DEBUG) {
-            addLogEntry(event);
-        }
-
+    #emitFocusEvent(event)
+    {
         if (this.#inactive)
             this.dispatchEvent(new CustomEvent("inactive", {detail: {widget: this, event: new FocusEvent(event.type, event)}}));
         else
@@ -171,10 +155,6 @@ class Widget extends EventTarget{
     /** @param {Event} event */
     #emitContextEvent(event)
     {
-        if (WIDGETS_DEBUG) {
-            addLogEntry(event);
-        }
-        
         if (this.#inactive)
             this.dispatchEvent(new CustomEvent("inactive", {detail: {widget: this, event: new Event(event.type, event)}}));
         else