в последней версии (13.1) появился (возможно только у меня, в более ранних версиях не наблюдал) странный глюк, например, выделяю в слове символ, нажимаю клавишу клавиатуры для замены ... и ничего не происходит, нажимаю второй раз - заменяется. Клавиатура нормальная, в других приложениях всё ОК.