D 2013-08-21T11:15:53.250
L extSearch.js
P 2e0bf8cd494345d45df0ec9e38543b75ce15f65c
U the1
W 3329
Скрипт "Расширенный поиск" (extSearch.js)
Реализует поиск текста при помощи регулярных выражений в пределах активного окна редактора. Поддерживает и "обычный" поиск (поиск подстроки).
В отличие от штатного неглобального поиска выводит сразу все найденные результаты в окно поиска, похожее на окно результатов штатного глобального поиска:
Двойной клик в строке результатов поиска приведет к переходу в окно редактора в строку, в которой найдено совпадение. На строку, соответствующую поисковому запросу, будет установлено выделение.
Последовательная навигация по результатам поиска (вперед и назад) может быть осуществлена при помощи макросов "Перейти к следующему совпадению" и "Перейти к предыдущему совпадению" или при помощи соответствующих кнопок командной панели в окне поиска.
Между сеансами поиска автоматически сохраняются настройки поиска, а именно: