From 2c167385b3b46dfd25593ab46cb67b119c14f37b Mon Sep 17 00:00:00 2001 From: wareya Date: Sun, 4 Nov 2018 06:57:50 -0500 Subject: [PATCH] note that live mining support is experimental --- options.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/options.js b/options.js index c0a6bdb..b72b0f6 100644 --- a/options.js +++ b/options.js @@ -84,7 +84,7 @@ function defaults() id: "live_mining", kind: "checkbox", default: false, - label: "Enable live mining (configured via the button below under \"Other\")" + label: "Enable live mining (experimental!) (configured via the button below under \"Other\")" }); // display