From 1a9833132d32170dde9b289131507d2176a94eb4 Mon Sep 17 00:00:00 2001
From: Samuele Facenda <samuele.facenda@gmail.com>
Date: Sun, 13 Nov 2022 14:41:01 +0100
Subject: [PATCH] Added ignoreCase feature in Substitute operation.

---
 src/core/operations/Substitute.mjs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/operations/Substitute.mjs b/src/core/operations/Substitute.mjs
index 1dac1c53..a8bf2291 100644
--- a/src/core/operations/Substitute.mjs
+++ b/src/core/operations/Substitute.mjs
@@ -69,7 +69,7 @@ class Substitute extends Operation {
             if (dict[char.toLowerCase()] !== undefined)
                 return dict[char.toLowerCase()].toUpperCase();
         } else {
-            if(dict[char.toUpperCase()] !== undefined)
+            if (dict[char.toUpperCase()] !== undefined)
                 return dict[char.toUpperCase()].toLowerCase();
         }