Много лет мы пытаемся рассказать пользователям о том чем больше опций в программе, тем глючее продукт:)
Я вот не могу найти опцию смены горячей клавиши для переключения раскладки выделенного слова. Это я плохо ищу, или это часть философии разработчика?
Double Shift неприемлем для меня, так как это давно известный хоткей поиска в IDE Jetbrains