mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[profiler] IDEA-310193 even more elaborate tooltip delay
Description: State 1 Hovering a single node for `idea.profiler.flamegraph.tooltip.delay.millis` -> show tooltip and go to state 2 State 2 Don't hide the tooltip (current behavior), until: Hover empty space -> hide tooltip and go to state 1 Hover any node less than `idea.profiler.flamegraph.tooltip.fast.movement.millis` (fast cursor movement) -> hide tooltip and go to state 1 Time intervals are defined as Registry keys. GitOrigin-RevId: ca34ec444dcf33442cabc4e6a072bf75dc966ccb
This commit is contained in:
committed by
intellij-monorepo-bot
parent
ad8067fee1
commit
189e818f0b
@@ -1935,8 +1935,10 @@ idea.profiler.attach.kotlin.inline.description=Enable Kotlin inline functions su
|
||||
idea.profiler.folding.effectivelyOneChild.useJavaFilters=false
|
||||
idea.profiler.folding.effectivelyOneChild.useJavaFilters.description=Fold only those nodes that satisfy the same filtering criteria. \
|
||||
(Preferences | Build, Execution, Deployment | Java Profiler | Filters)
|
||||
idea.profiler.tooltip.switch.nodes.delay.millis=0
|
||||
idea.profiler.tooltip.switch.nodes.delay.millis.description=Set delay for the tooltip to appear when the cursor reaches a different node
|
||||
idea.profiler.flamegraph.tooltip.delay.millis=0
|
||||
idea.profiler.flamegraph.tooltip.delay.millis.description=Set delay for the tooltip to appear when hovering a new node after being hidden
|
||||
idea.profiler.flamegraph.tooltip.fast.movement.millis=33
|
||||
idea.profiler.flamegraph.tooltip.fast.movement.millis.description=Specify how fast a user should traverse nodes for the tooltip to hide
|
||||
|
||||
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.
|
||||
|
||||
Reference in New Issue
Block a user