From 0fe9705dd5c6bfdb12ea9b0d4e68854e6c9350d8 Mon Sep 17 00:00:00 2001
From: Jacopo Jannone <jacopo.jannone@jacopojannone.com>
Date: Wed, 11 Nov 2020 13:32:10 +0100
Subject: [PATCH] Re-add line removed by mistake

---
 src/content.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/content.js b/src/content.js
index e47375f..cc91e1f 100644
--- a/src/content.js
+++ b/src/content.js
@@ -16,6 +16,7 @@ var observer = new MutationObserver(function(mutations) {
         var i = document.createElement("i");
         i.setAttribute("class", "icon-download")
         i.setAttribute("title", "Download");
+        i.setAttribute("id", "downloadButton")
         i.setAttribute("aria-label", "Download")
         i.setAttribute("role", "button")
         div.appendChild(i)