LINUX.ORG.RU

История изменений

Исправление victor79, (текущая версия) :

А что такое ripgrep?

Ну а поиск в самом деле как-то не доработаный. Если бы он искал в скрытых, я бы сразу понял как настраивается связка файлов в проекте. А так кучка времени было выкинуто.

Плюс неудобно отсутствие кнопки Отмена/закрыть. Если хочу закрыть окно поиска без передислокации, нужно искать куда бы ткнуть в основное окно или тянуться до эскейпа. И есть еще многолетняя привычка жать кнопку Отмена/Закрыть.

И плюс это окно не хочет мышой сдвигаться за границу экрана. Т.е. когда оно открыто, а я хочу посмотреть/уточнить что было в основном окне, я его хочу отодвинуть в сторону на немного, а оно упирается своими границами в границы экрана. Кстати, при самом первом октрытии этого окна, оно позволило сдвинуть себя за гарницы, но при втором открытии уже не пускало - это явно глюк какой-то.

И еще плюс сейчас заметил, если двигать окно поиска при указанной поисковой строке, оно существенно заторможенно двигается с подвисаниями. Словно на каждое перемещение он заново пытается выполнить поиск. Без поискового слова резвенько. Вряд ли сама перерисовка небольшой кучки надписей найденного так замедляет перерисовку.

В общем мрак какой-то.

Исходная версия victor79, :

А что такое ripgrep?

Ну а поиск в самом деле как-то не доработаный. Если бы он искал в скрытых, я бы сразу понял как настраивается связка файлов в проекте. А так кучка времени было выкинуто.

Плюс неудобно отсутствие кнопки Отмена/закрыть. Если хочу закрыть окно поиска без передислокации, нужно искать куда бы ткнуть в основное окно или тянуться до эскейпа. И есть еще многолетняя привычка жать кнопку Отмена/Закрыть.

И плюс это окно не хочет мышой сдвигаться за границу экрана. Т.е. когда оно открыто, а я хочу посмотреть/уточнить что было в основном окне, я его хочу отодвинуть в сторону на немного, а оно упирается своими границами в границы экрана. Кстати, при самом первом октрытии этого окна, оно позволило сдвинуть себя за гарницы, но при втором открытии уже не пускало - это явно глюк какой-то.