После неких манипуляций (в частности воспользовался user.js c оффсайта), оказалось, что модификатором по умолчанию стал Alt ( вместо Ctrl ), в общем, удобнее, только местами непривычно.
Стыдно признаться, но не смог локализовать изменения.
Всвязи с чем возникает вопрос: где задается сей параметр и можно ли его настроить по-разному для разных комбинаций клавиш?
Заранее спасибо.