Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
this affects virtually all CLI openings, as the main window is unlikely to be focused when that happens.
Maybe that could be worked around by checking if the main window has focus, not sure.
can't we "just" fix the offending case(s) not to be buggy in that regard? (using the document ID or document pointer, etc.)
Well the problem is finding where the bugs are ;-)
This fixes the only one I'm aware of:
#3415
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.