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

DSM: move registry key to plugin.xml

Browse Source
This commit is contained in:
Bas Leijdekkers
2019-04-11 10:08:10 +02:00
parent 80542d8cec
commit 4c51417fce
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/resources/misc/registry.properties
-2
View File
@@ -1642,8 +1642,6 @@ ssr.template.from.selection.builder.description=Allows to build template with li
ssr.save.templates.to.ide.instead.of.project.workspace=true
ssr.save.templates.to.ide.instead.of.project.workspace.description=Makes saved Structural Search templates globally available for all projects
dsm.show.cycle.count.in.tooltip=false
dsm.show.cycle.count.in.tooltip.description=Shows number of cycles found in the tooltip of the Toggle Cycles toolbar button after some calculation time
jdk.regex.soe.workaround=true
jdk.regex.soe.workaround.description=In regular expression pattern replace choice \\n|. with . (and DOT_ALL option) to prevent stack overflow during matching