ppx_minidebug icon indicating copy to clipboard operation
ppx_minidebug copied to clipboard

TUI: new command "go to next highlight leaf" that recursively expands the closest unexpanded highlight following the cursor (at same or bigger depth)

Open lukstafi opened this issue 1 month ago • 0 comments

I.e. starting from the cursor position, it finds (if any) the next unexpanded (visible) highlight within same scope or descendant of the scope, expands it, and recurses from the beginning of the expanded scope.

This could maybe replace "go to next search result" which can be unreliable, but both commands have their merrits.

lukstafi avatar Nov 16 '25 13:11 lukstafi