ppx_minidebug icon indicating copy to clipboard operation
ppx_minidebug copied to clipboard
verified publisher icon lukstafi

Highlight propagation sometimes skips over one node

Open lukstafi opened this issue 1 month ago • 1 comments

That's a rather annoying / disorienting bug.

lukstafi avatar Nov 14 '25 20:11 lukstafi

Sometimes over multiple nodes:

Image

lukstafi avatar Nov 17 '25 21:11 lukstafi