Быстрый поиск

Здесь можно сообщить о найденных багах в Far.
Tal
Posts: 14
Joined: Sat 21 Sep, 2019 04:52
Has thanked: 3 times

Быстрый поиск

Post by Tal » Wed 02 Oct, 2019 20:18

Latest post of the previous page:

DrKnS wrote:
Wed 02 Oct, 2019 18:29
А можно TL;DR - что вообще здесь обсуждается?
Tal wrote:
Sun 29 Sep, 2019 19:33
С учётом того, что, как показывает практика, "быстрый поиск можно было бы активизировать просто по нажатию (точнее, отпусканию) любой из клавиш Alt" предлагаю реализовать это изменение.

А если подробнее, то по ссылке и далее несколько постов.

Tal
Posts: 14
Joined: Sat 21 Sep, 2019 04:52
Has thanked: 3 times

Быстрый поиск

Post by Tal » Thu 03 Oct, 2019 16:41

Shmuel wrote:
Wed 02 Oct, 2019 16:26
нет смысла продолжать эту дискуссию. Вы (мы) в явном меньшинстве, и шансов на изменение сейчас нет
А я не столь прагматично отношусь к дискуссиям. По моему убеждению, подобные вопросы голосованием вообще не должны решаться, а дискуссии нужны в подготовительном плане. И по закону логики: "суть дела, для которой созданы все условия, вступает в существование" наиболее эффективное решение раньше или позже непременно будет реализовано. Но не мистически, не само по себе, а лишь посредством людей. Поэтому предварительные дискуссии как минимум полезны, независимо от того, приводят ли они прямо в данный момент к принятию решения.

Post Reply

Return to “Глюки и баги”