[go: up one dir, main page]

Menu

#405 ^R does not refresh the terminal anymore, instead "I-find"

v4.6
open
nobody
None
v4.6
5
2024-02-06
2019-11-21
arataj
No

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.

Discussion

  • arataj

    arataj - 2019-11-21

    ^R has two functions now, it seems. Possibly the terminal wa trashed continuously so I had an impression that only I-find appears.

     
  • arataj

    arataj - 2019-11-21

    I cannot close this bug, please do it for me.

     
  • John J. Jordan

    John J. Jordan - 2019-11-25

    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.

     
  • arataj

    arataj - 2019-11-26

    ^R does not work always now, and it is because of the I-find mode.

    1. Terminal becomes garbled.
    2. Press ^R to refresh the terminal.
    3. Terminal is refreshed, I-find is still there because no key has been pressed in the meantime.
    4. Terminal becomes garbled again.
    5. Press ^R to refresh the terminal.
    6. Nothing happens, terminal still garbled.
     
  • John J. Jordan

    John J. Jordan - 2024-02-06

    It's probably worth finding another shortcut for refresh, i think i-search is sticking around.

     

Log in to post a comment.