Add option to show folding markers on hover only
Folding markers are useful, but sometimes it leads to too much noise. As such an option to show them on hover only leads to a more minimal and cleaner experience.
Folding markers are useful, but sometimes it leads to too much noise. As such an option to show them on hover only leads to a more minimal and cleaner experience.