From 639914ed339a2e6b7393bcc74a59e3a392bf72ba Mon Sep 17 00:00:00 2001 From: Koen Lagveen Date: Tue, 4 Jul 2023 22:40:29 +0200 Subject: [PATCH] lint --- index.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.js b/index.js index e51f38c..b671abf 100644 --- a/index.js +++ b/index.js @@ -89,7 +89,7 @@ function forceSize (px) { document.querySelector('.CodeMirror').style.fontSize = `${px}px` editor.refresh() } -function resetSize() { +function resetSize () { const cookieValueSize = document.cookie.replace(/(?:(?:^|.*;\s*)size\s*=\s*([^;]*).*$)|^.*$/, '$1') if (cookieValueSize) { forceSize(cookieValueSize)