Attached is a tiny patch to fix the replace shortcut in the query tool.
Regarding international keyboards, there is no way in JS to detect a keyboard layout. CodeMirror also does not handle international keyboards. Neither it provides any way to handle keyboard events differently. I will update the RM with comments.
Сайт использует файлы cookie для корректной работы и повышения удобства. Нажимая кнопку «Принять» или продолжая пользоваться сайтом, вы соглашаетесь на их использование в соответствии с Политикой в отношении обработки cookie ООО «ППГ», в том числе на передачу данных из файлов cookie сторонним статистическим и рекламным службам. Вы можете управлять настройками cookie через параметры вашего браузера