D 2016-01-27T13:06:03.567
L extSearch.js
P e65f53a9919ccf476641fb6fd016d6fb136109a5
U Omankit
W 3516
Скрипт "Расширенный поиск" (extSearch.js)
Реализует поиск текста при помощи регулярных выражений в пределах активного окна редактора. Поддерживает и "обычный" поиск (поиск подстроки).
В отличие от штатного неглобального поиска выводит сразу все найденные результаты в окно поиска, похожее на окно результатов штатного глобального поиска:
Двойной клик в строке результатов поиска приведет к переходу в окно редактора в строку, в которой найдено совпадение. На строку, соответствующую поисковому запросу, будет установлено выделение.
Последовательная навигация по результатам поиска (вперед и назад) может быть осуществлена при помощи макросов "Перейти к следующему совпадению" и "Перейти к предыдущему совпадению" или при помощи соответствующих кнопок командной панели в окне поиска.
Между сеансами поиска автоматически сохраняются настройки поиска, а именно: