Gutter tooltips shouldn't have a hover delay #716
Description
Gutter tooltips shouldn't have a hover delay as there's no reason to expect some other interaction.
{{ message }}
Gutter tooltips shouldn't have a hover delay as there's no reason to expect some other interaction.