From 84143edfaf4a2abd46780abfe5057dae6a45e682 Mon Sep 17 00:00:00 2001
From: James Magahern <jmagahern@apple.com>
Date: Wed, 10 Mar 2021 17:39:58 -0800
Subject: [PATCH] Tagger: Tag buttons too

---
 App/Resources/Tagger.js | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/App/Resources/Tagger.js b/App/Resources/Tagger.js
index 2feb97d..ad22b98 100644
--- a/App/Resources/Tagger.js
+++ b/App/Resources/Tagger.js
@@ -122,9 +122,16 @@ class ElementTagger {
     }
 
     tagDocument() {
-        var elt = document.getElementsByTagName("a");
-        for (let i = 0; i < elt.length; i++) {
-            this.tagElement(elt[i]);
+        // Anchors
+        var anchors = document.getElementsByTagName("a");
+        for (let i = 0; i < anchors.length; i++) {
+            this.tagElement(anchors[i]);
+        }
+
+        // Buttons
+        var buttons = document.getElementsByTagName("button");
+        for (let i = 0; i < buttons.length; i++) {
+            this.tagElement(buttons[i]);
         }
 
         this.isTagged = true;