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.