D 2011-12-16T19:20:42.918
L extSearch.js
P 2d2f25ec6b4df651c99e8b698c0834a8414a36a4
U kuntashov
W 2217
Скрипт "Расширенный поиск" (extSearch.js)
Реализует поиск текста при помощи регулярных выражений в пределах активного окна редактора. Поддерживает и "обычный" поиск (поиск подстроки).
В отличие от штатного неглобального поиска выводит сразу все найденные результаты в окно поиска, похожее на окно результатов штатного глобального поиска:
Двойной клик в строке результатов поиска приведет к переходу в окно редактора в строку, в которой найдено совпадение. На строку, соответствующую поисковому запросу, будет установлено выделение.
Последовательная навигация по результатам поиска (вперед и назад) может быть осуществлена при помощи макросов "Перейти к следующему совпадению" и "Перейти к предыдущему совпадению" или при помощи соответствующих кнопок командной панели в окне поиска.
Между сеансами поиска автоматически сохраняются настройки поиска, а именно: