Refresh terminal, a basic functionality of a terminal editor for me, does not work anymore with ^R.
Instead, "I-find" appears at the bottom. i would think that there something wrong with the keyboard layout, bur ^R in Bash shows (reverse-i-search) as usual.
^R has two functions now, it seems. Possibly the terminal wa trashed continuously so I had an impression that only I-find appears.
I cannot close this bug, please do it for me.
From what I've seen, it looks like ^R does both for some reason. It's weird behavior and I'm still wired to that hotkey as well. We should probably make it do one or the other, and at least find a dedicated hotkey for refresh.
^R does not work always now, and it is because of the I-find mode.
It's probably worth finding another shortcut for refresh, i think i-search is sticking around.