The connection is made in TabManager when opening a new tab. So when we switch tabs we should be disconnecting it as you can only split the current tab at the cursor.
Edit: No I was wrong, that is not the problem.
We are somehow MakingTabConnections more than once on the same tab. I am pretty sure this is a artifact of the changes to fix fast tab deletion.
Last edited by KevinH; 12-22-2019 at 08:20 PM.
|