Последние несколько месяцев не работала кнопка Pause/Break, уж не знаю почему. А поменять клавиатуру возможности не было.
А теперь вдруг заработала снова.
Кто знает (ключевые слова — Punto Switcher), тот поймёт, насколько я радуюсь.