From a947e06140c9380ccff71519102a3a967399c05f Mon Sep 17 00:00:00 2001 From: n1474335 Date: Fri, 3 Aug 2018 20:18:19 +0100 Subject: [PATCH] Added option to turn off background auto magic --- src/web/OutputWaiter.mjs | 2 ++ src/web/html/index.html | 9 ++++++++- src/web/index.js | 3 ++- src/web/stylesheets/utils/_overrides.css | 2 +- 4 files changed, 13 insertions(+), 3 deletions(-) diff --git a/src/web/OutputWaiter.mjs b/src/web/OutputWaiter.mjs index 408037c3..7203a16f 100755 --- a/src/web/OutputWaiter.mjs +++ b/src/web/OutputWaiter.mjs @@ -423,6 +423,8 @@ class OutputWaiter { */ backgroundMagic() { this.hideMagicButton(); + if (!this.app.options.autoMagic) return; + const sample = this.dishStr ? this.dishStr.slice(0, 1000) : this.dishBuffer ? this.dishBuffer.slice(0, 1000) : ""; diff --git a/src/web/html/index.html b/src/web/html/index.html index 9999b4b5..8748b510 100755 --- a/src/web/html/index.html +++ b/src/web/html/index.html @@ -285,7 +285,7 @@ +
@@ -492,6 +492,13 @@ Use meta key for keybindings (Windows ⊞/Command ⌘)
+ +
+ +