From dfa9e5138383645c1502bc2898c153c6de23a316 Mon Sep 17 00:00:00 2001
From: Arijit Basu <sayanarijit@users.noreply.github.com>
Date: Sun, 22 May 2022 18:10:32 +0530
Subject: [PATCH] Minor fix in commands extension

---
 commands/options.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/commands/options.js b/commands/options.js
index 884e48f..a58f05f 100644
--- a/commands/options.js
+++ b/commands/options.js
@@ -5,7 +5,7 @@ const commandName = 'toggle-feature';
  */
 async function updateUI() {
   let commands = await browser.commands.getAll();
-  for (command of commands) {
+  for (let command of commands) {
     if (command.name === commandName) {
       document.querySelector('#shortcut').value = command.shortcut;
     }