Changes To extSearch.js Вы: nobody
Вход

Initial version of "extSearch.js"

            1  +Скрипт <b>"Расширенный поиск"</b> (extSearch.js)
            2  +
            3  +Реализует поиск текста при помощи регулярных выражений в пределах активного окна редактора. Поддерживает и "обычный" поиск (поиск подстроки).
            4  +
            5  +
            6  +В отличие от штатного неглобального поиска выводит сразу все найденные результаты в окно поиска, похожее на окно результатов штатного глобального поиска:
            7  +
            8  +Двойной клик в строке результатов поиска приведет к переходу в окно редактора в строку, в которой найдено совпадение. На строку, соответствующую поисковому запросу, будет установлено выделение.
            9  +
           10  +Последовательная навигация по результатам поиска (вперед и назад) может быть осуществлена при помощи макросов "Перейти к следующему совпадению" и "Перейти к предыдущему совпадению" или при помощи соответствующих кнопок командной панели в окне поиска.
           11  +
           12  +Между сеансами поиска автоматически сохраняются настройки поиска, а именно: 
           13  +
           14  +<ul>
           15  +<li>значение флага "Регулярное выражение" - признак поиска регулярными выражениями</li> 
           16  +<li>значение флага "Учитывать регистр" - учитывать регистр при поиске или нет, аналог флага i у регулярного выражения</li>
           17  +</ul>
           18  +
           19  +а также последние 10 поисковых запросов:
           20  +
           21  +
           22  +