MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-15 11:53:49 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-233367 Flame chart filter slider

Browse Source 
GitOrigin-RevId: d7486fbcde985a624154c090dc66d221eff94040
This commit is contained in:
maksim.pelevin
2020-02-20 12:24:43 +03:00
committed by intellij-monorepo-bot
parent 982c9df5bd
commit 3a0234a9e2
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
platform/util/resources/misc/registry.properties
View File

@@ -1775,9 +1775,6 @@ ide.restore.removed.mappings.description=Automatically restore file type mapping
idea.profiler.jvm.dtrace=false
idea.profiler.jvm.dtrace.description=Enable JVM DTrace based profiler on Mac OS
idea.profiler.flame.chart.filter=false
idea.profiler.flame.chart.filter.description=Show percentage of all filter slider
recent.locations.lines.before.and.after=2
recent.locations.lines.before.and.after.description=Defines lines count that are shown before and after recent location.
uast.java.use.psi.type.precheck=true