From 888c2fec71c4bc987def4044cdfd830ab6c1d0fa Mon Sep 17 00:00:00 2001 From: Viktor Shatrov Date: Mon, 17 Dec 2018 16:36:16 +0300 Subject: [PATCH] WebConsole: add registry keys to plugin.xml --- platform/util/resources/misc/registry.properties | 1 - 1 file changed, 1 deletion(-) diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties index e9784ef99eff..14820cf86259 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -1005,7 +1005,6 @@ js.debugger.use.vm.receiver=false js.debugger.auto.expressions.all.qualifiers=false js.debugger.async.call.stack.depth=10 js.debugger.async.call.stack.depth.description=Enables or disables async call stacks tracking in JS debugger -js.debugger.webconsole=false nodejs.core.library.use.typings=true nodejs.core.library.use.typings.description=Enables using @types/node for Node.js coding assistance in "Node.js Core" library