Diogo Sousa
Diogo Sousa
@seanmonstar Hi. Is there any concerns about this PR that you still need to solve, or is this something that is just waiting to land when a new minor reqwest...
Yes: the issue is gone. Miri no longer hangs!
:+1: Often time I'm renaming because of a typo, and I don't need to rewrite the entire thing.
Ah, that's great! Thanks @cristiand391.
I've tried `bind "r" { SwitchToMode "RenameTab"; }` and that doesn't quite work: there's no cursor so I can only append to the end of the existing name or delete...
Hi. I'll take a look at this but it will take me some time to review, as I've been busy. Probably the end of next month.
#177 solves this. I'm working on it on #236, but I've not been able to dedicate much time to it recently.
Sorry, this is too fundamental of a change for me to delegate to anyone else.
@seanmonstar Anything that needs to be done to land this? Happy to help if there's anything to do.
Of the top of my head I don't see a way to merge them in better than O(N⋅lg(M)) where N is the size of the first tree and M of...