From 4c51417fced841687f1b94a242b3cc6ab9f16b47 Mon Sep 17 00:00:00 2001 From: Bas Leijdekkers Date: Sat, 6 Apr 2019 11:55:42 +0200 Subject: [PATCH] DSM: move registry key to plugin.xml --- platform/util/resources/misc/registry.properties | 2 -- 1 file changed, 2 deletions(-) diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties index 810fbfb00075..47d8d1f0ba91 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -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