Adds corrected types for Walker.

ts/a11y/explorer/KeyExplorer.ts

@@ -104,7 +104,7 @@ export abstract class AbstractKeyExplorer<T> extends AbstractExplorer<T> impleme
       [
         // ['keydown', move],
         ['keydown', this.KeyDown.bind(this)],
-        ['click', ((e: Event) => click(this.node, e)).bind(this)],
+        ['click', ((e: MouseEvent) => click(this.node, e)).bind(this)],
         ['focusin', this.FocusIn.bind(this)],
         ['focusout', this.FocusOut.bind(this)]
       ]);
@@ -196,16 +196,10 @@ export abstract class AbstractKeyExplorer<T> extends AbstractExplorer<T> impleme
   /**
    * @override
    */
-  public Move(key: number) {
-    // let result = this.walker.move(key);
-    let result = move(key);
-    if (result) {
-      this.Update();
-      return;
-    }
-    if (this.sound) {
-      this.NoMove();
-    }
+  public Move(_key: number) {
+  //   // let result = this.walker.move(key);
+  //   let result = false;
+  //   // let result = move(key);
   }
 
   /**
@@ -272,7 +266,6 @@ export class SpeechExplorer extends AbstractKeyExplorer<string> {
    * @override
    */
   public Start() {
-    console.log(16);
     if (!this.attached) return;
     let options = this.getOptions();
     if (!this.init) {
@@ -296,7 +289,6 @@ export class SpeechExplorer extends AbstractKeyExplorer<string> {
             this.Start();
           });
       })
-        .catch((error: Error) => console.log(error.message));
       return;
     }
     super.Start();
@@ -368,10 +360,6 @@ export class SpeechExplorer extends AbstractKeyExplorer<string> {
    */
   public KeyDown(event: KeyboardEvent) {
     const code = event.keyCode;
-    console.log(event);
-    console.log(event.key);
-    console.log(event.code);
-    console.log(code);
     this.walker.modifier = event.shiftKey;
     if (code === 17) {
       speechSynthesis.cancel();
@@ -382,9 +370,17 @@ export class SpeechExplorer extends AbstractKeyExplorer<string> {
       this.stopEvent(event);
       return;
     }
-    console.log(9);
-    move(event);
-    console.log(13);
+    //
+    let result = move(event);
+    if (result) {
+      this.region.Show(this.node, this.highlighter);
+      this.region.Update('hello');
+      return;
+    }
+    if (this.sound) {
+      this.NoMove();
+    }
+    //
     if (this.triggerLink(code)) return;
     this.stopEvent(event);
     if (code === 32 && event.shiftKey || code === 13) {
@@ -398,7 +394,6 @@ export class SpeechExplorer extends AbstractKeyExplorer<string> {
    * @param {number} code The keycode of the last key pressed.
    */
   protected triggerLink(code: number) {
-    console.log(15);
     if (code !== 13) {
       return false;
     }
@@ -407,7 +402,6 @@ export class SpeechExplorer extends AbstractKeyExplorer<string> {
       getAttribute('data-semantic-postfix')?.
       match(/(^| )link($| )/);
     if (focus) {
-      console.log(14);
       node.parentNode.dispatchEvent(new MouseEvent('click'));
       return true;
     }

ts/a11y/explorer/Walker.ts

@@ -27,12 +27,12 @@
 const codeSelector = 'mjx-container[role="application"][data-shellac]';
 const nav = '[role="application"][data-shellac],[role="tree"],[role="group"],[role="treeitem"]';
 
-function isCodeBlock(el) {
+function isCodeBlock(el: HTMLElement) {
   return el.matches(codeSelector);
 }
 
-export function click(snippet, e) {
-  const clicked = e.target.closest(nav);
+export function click(snippet: HTMLElement, e: MouseEvent) {
+  const clicked = (e.target as HTMLElement).closest(nav) as HTMLElement;
   if (snippet.contains(clicked)) {
     const prev = snippet.querySelector('[tabindex="0"][role="tree"],[tabindex="0"][role="group"],[tabindex="0"][role="treeitem"]');
     if (prev) {
@@ -44,16 +44,16 @@ export function click(snippet, e) {
   }
 }
 
-export function move(e) {
+export function move(e: KeyboardEvent) {
 
-  function nextFocus() {
-    function nextSibling(el) {
-      const sib = el.nextElementSibling;
+  function nextFocus(): HTMLElement {
+    function nextSibling(el: HTMLElement): HTMLElement {
+      const sib = el.nextElementSibling as HTMLElement;
       if (sib) {
 	if (sib.matches(nav)) {
           return sib;
 	} else {
-          const sibChild = sib.querySelector(nav);
+          const sibChild = sib.querySelector(nav) as HTMLElement;
           return sibChild ?? nextSibling(sib);
 	}
       } else {
@@ -65,13 +65,13 @@ export function move(e) {
       }
     }
 
-    function prevSibling(el) {
-      const sib = el.previousElementSibling;
+    function prevSibling(el: HTMLElement): HTMLElement {
+      const sib = el.previousElementSibling as HTMLElement;
       if (sib) {
 	if (sib.matches(nav)) {
           return sib;
 	} else {
-          const sibChild = sib.querySelector(nav);
+          const sibChild = sib.querySelector(nav) as HTMLElement;
           return sibChild ?? prevSibling(sib);
 	}
       } else {
@@ -83,31 +83,35 @@ export function move(e) {
       }
     }
 
-    switch (event.key) {
+    const target = e.target as HTMLElement;
+    switch (e.key) {
       case "ArrowDown":
         e.preventDefault();
-        return e.target.querySelector(nav);
+        return target.querySelector(nav);
       case "ArrowUp":
         e.preventDefault();
-        return e.target.parentElement.closest(nav);
+        return target.parentElement.closest(nav);
       case "ArrowLeft":
         e.preventDefault();
-        return prevSibling(e.target);
+        return prevSibling(target);
       case "ArrowRight":
         e.preventDefault();
-        return nextSibling(e.target);
+        return nextSibling(target);
       default:
-        return;
+        return null;
     }
   }
 
   const next = nextFocus();
 
 
+  const target = e.target as HTMLElement;
   if (next) {
-    e.target.removeAttribute("tabindex");
+    target.removeAttribute("tabindex");
     next.setAttribute("tabindex", "0");
     next.focus();
+    console.log(next.getAttribute('data-semantic-speech'));
+    console.log(next.getAttribute('data-semantic-braille'));
     return true;
   }
   return false;