IIRC it uses a right pointed cursor over the left margin
Ah, you're right (pun intended). Still unclear what that intends to indicate, but that's where the right_ptr
attempt occurs.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.