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

Changes to "extSearch.js" between 2011-12-16 19:17:05 and 2011-12-16 19:20:42

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