MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

WebConsole: add registry keys to plugin.xml

Browse Source
This commit is contained in:
Viktor Shatrov
2018-12-17 16:36:16 +03:00
parent 4431e4a694
commit 888c2fec71
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/resources/misc/registry.properties
-1
View File
@@ -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