Раскладка английская. Просто я по простоте душевной думал, что / на нумпаде и / на клавиатуре - это одно и тоже. Но оказалось, что нет. Так что сочетание Ctrl+/ (на клавиатуре) работает, спасибо. А Ctrl+/ (на нумпаде) это получается уже другое сочетание, которое тоже работает, но выполняет другое действие.