и вообще, рано все перескочили на 15...
Workspace переключить в Default.
Default Enachanced Menus, с ним залипают кнопки.
он и так в дефолт стоит
У меня по дефолту стоит всё правильно. Видимо дело в какой-то другой опции.
В итоге это оказалась загадочная проблема клавиатуры, либо редкая несовместимость клавы, железа и софта.
Всем спасибо.
