Как отключить сочетание клавиш Ctrl+Shift+R в Kitty?

Эмулятор терминала Kitty использует ярлык Ctrl+ Shift+ Rдля изменения размера окна. Ярлык также используется в bash для изменения направления обратного поиска.

Сначала я попытался удалить ярлык котенка, сопоставив его с no_op , используя

      map ctrl+shift+r no_op

Но тогда Ctrl+ Shift+ Rвставляет4;6uвместо того, чтобы ярлык передавался в оболочку, как это происходит в других терминалах.

В качестве второго варианта я попробовал сопоставить ярлык с ignore_event , используя

      map ctrl+shift+r discard_event

Но тогда Ctrl+ Shift+ Rведет себя так, как будто вообще не была нажата ни одна клавиша.

Прецедент:

• Нажмите Ctrl+R
• Введите термин, который встречается несколько раз в вашей истории bash.
• Нажмите Ctrl+ Rеще раз, чтобы перейти к следующему матчу.
• Нажмите Ctrl+ Shift+ R, чтобы перейти к предыдущему совпадению (этот шаг не выполняется в Kitty)