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