D 2012-10-02T10:51:12.933
L extSearch.js
P 7aa9f54a7b6e8629aceffaa67217eb97eaa57bad
U sosnae
W 2989
Скрипт "Расширенный поиск" (extSearch.js)
Реализует поиск текста при помощи регулярных выражений в пределах активного окна редактора. Поддерживает и "обычный" поиск (поиск подстроки).
В отличие от штатного неглобального поиска выводит сразу все найденные результаты в окно поиска, похожее на окно результатов штатного глобального поиска:
Двойной клик в строке результатов поиска приведет к переходу в окно редактора в строку, в которой найдено совпадение. На строку, соответствующую поисковому запросу, будет установлено выделение.
Последовательная навигация по результатам поиска (вперед и назад) может быть осуществлена при помощи макросов "Перейти к следующему совпадению" и "Перейти к предыдущему совпадению" или при помощи соответствующих кнопок командной панели в окне поиска.
Между сеансами поиска автоматически сохраняются настройки поиска, а именно: