home *** CD-ROM | disk | FTP | other *** search
/ PC World 2007 March / PCWorld_2007-03_cd.bin / komunikace / nvu / nvu-1.0-cs-CZ.win32.installer.exe / chrome / toolkit.jar / content / global / findBar.js < prev    next >
Text File  |  2004-11-05  |  17KB  |  613 lines
  1.  
  2. const FIND_NORMAL = 0;
  3. const FIND_TYPEAHEAD = 1;
  4. const FIND_LINKS = 2;
  5.  
  6. // Global find variables
  7. var gFindMode = FIND_NORMAL;
  8. var gQuickFindTimeout = null;
  9. var gQuickFindTimeoutLength = 0;
  10. var gHighlightTimeout = null;
  11. var gUseTypeAheadFind = false;
  12. var gWrappedToTopStr = "";
  13. var gWrappedToBottomStr = "";
  14. var gNotFoundStr = "";
  15. var gTypeAheadFindBuffer = "";
  16. var gIsBack = true;
  17. var gBackProtectBuffer = 3;
  18. var gFlashFindBar = 0;
  19. var gFlashFindBarCount = 6;
  20. var gFlashFindBarTimeout = null;
  21. var gLastHighlightString = "";
  22. var gTypeAheadLinksOnly = false;
  23.  
  24. // DOMRange used during highlighting
  25. var searchRange;
  26. var startPt;
  27. var endPt;
  28.  
  29. var gTypeAheadFind = {
  30.   useTAFPref: "accessibility.typeaheadfind",
  31.   searchLinksPref: "accessibility.typeaheadfind.linksonly",
  32.   
  33.   observe: function(aSubject, aTopic, aPrefName)
  34.   {
  35.     if (aTopic != "nsPref:changed" || (aPrefName != this.useTAFPref && aPrefName != this.searchLinksPref))
  36.       return;
  37.  
  38.     var prefService = Components.classes["@mozilla.org/preferences-service;1"]
  39.                                 .getService(Components.interfaces.nsIPrefBranch);
  40.       
  41.     gUseTypeAheadFind = prefService.getBoolPref("accessibility.typeaheadfind");
  42.     gTypeAheadLinksOnly = gPrefService.getBoolPref("accessibility.typeaheadfind.linksonly");
  43.   }
  44. };
  45.  
  46. function initFindBar()
  47. {
  48.   getBrowser().addEventListener("keypress", onBrowserKeyPress, false);
  49.   getBrowser().addEventListener("mousedown", onBrowserMouseDown, false);
  50.   
  51.   var prefService = Components.classes["@mozilla.org/preferences-service;1"]
  52.                               .getService(Components.interfaces.nsIPrefBranch);
  53.  
  54.   var pbi = prefService.QueryInterface(Components.interfaces.nsIPrefBranchInternal);
  55.  
  56.   gQuickFindTimeoutLength = prefService.getIntPref("accessibility.typeaheadfind.timeout");
  57.   gFlashFindBar = prefService.getIntPref("accessibility.typeaheadfind.flashBar");
  58.  
  59.   pbi.addObserver(gTypeAheadFind.useTAFPref, gTypeAheadFind, false);
  60.   pbi.addObserver(gTypeAheadFind.searchLinksPref, gTypeAheadFind, false);
  61.   gUseTypeAheadFind = prefService.getBoolPref("accessibility.typeaheadfind");
  62.   gTypeAheadLinksOnly = prefService.getBoolPref("accessibility.typeaheadfind.linksonly");
  63. }
  64.  
  65. function uninitFindBar()
  66. {
  67.    var prefService = Components.classes["@mozilla.org/preferences-service;1"]
  68.                                .getService(Components.interfaces.nsIPrefBranch);
  69.  
  70.    var pbi = prefService.QueryInterface(Components.interfaces.nsIPrefBranchInternal);
  71.    pbi.removeObserver(gTypeAheadFind.useTAFPref, gTypeAheadFind);
  72.    pbi.removeObserver(gTypeAheadFind.searchLinksPref, gTypeAheadFind);
  73.  
  74.    getBrowser().removeEventListener("keypress", onBrowserKeyPress, false);
  75.    getBrowser().removeEventListener("mousedown", onBrowserMouseDown, false);
  76. }
  77.  
  78. function toggleHighlight(aHighlight)
  79. {
  80.   var word = document.getElementById("find-field").value;
  81.   if (aHighlight) {
  82.     highlightDoc('yellow', word);
  83.   } else {
  84.     highlightDoc(null, null);
  85.     gLastHighlightString = null;
  86.   }
  87. }
  88.  
  89. function highlightDoc(color, word, win)
  90. {
  91.   if (!win)
  92.     win = window._content; 
  93.  
  94.   for (var i = 0; win.frames && i < win.frames.length; i++) {
  95.     highlightDoc(color, word, win.frames[i]);
  96.   }
  97.  
  98.   var doc = win.document;
  99.   if (!document)
  100.     return;
  101.  
  102.   if (!("body" in doc))
  103.     return;
  104.  
  105.   var body = doc.body;
  106.   
  107.   var count = body.childNodes.length;
  108.   searchRange = doc.createRange();
  109.   startPt = doc.createRange();
  110.   endPt = doc.createRange();
  111.  
  112.   searchRange.setStart(body, 0);
  113.   searchRange.setEnd(body, count);
  114.  
  115.   startPt.setStart(body, 0);
  116.   startPt.setEnd(body, 0);
  117.   endPt.setStart(body, count);
  118.   endPt.setEnd(body, count);
  119.  
  120.   if (!color) {
  121.     // Remove highlighting.  We use the find API again rather than
  122.     // searching for our span elements by id so that we gain access to the
  123.     // anonymous content that nsIFind searches.
  124.  
  125.     if (!gLastHighlightString)
  126.       return;
  127.  
  128.     var retRange = null;
  129.     var finder = Components.classes["@mozilla.org/embedcomp/rangefind;1"].createInstance()
  130.                          .QueryInterface(Components.interfaces.nsIFind);
  131.  
  132.     while ((retRange = finder.Find(gLastHighlightString, searchRange,startPt, endPt))) {
  133.       var startContainer = retRange.startContainer;
  134.       var elem = null;
  135.       try {
  136.         elem = startContainer.parentNode;
  137.       }
  138.       catch (e) { }
  139.  
  140.       if (elem && elem.getAttribute("id") == "__firefox-findbar-search-id") {
  141.         var child = null;
  142.         var docfrag = doc.createDocumentFragment();
  143.         var next = elem.nextSibling;
  144.         var parent = elem.parentNode;
  145.  
  146.         while ((child = elem.firstChild)) {
  147.           docfrag.appendChild(child);
  148.         }
  149.  
  150.         startPt = doc.createRange();
  151.         startPt.setStartAfter(elem);
  152.  
  153.         parent.removeChild(elem);
  154.         parent.insertBefore(docfrag, next);
  155.       }
  156.       else {
  157.         // Somehow we didn't highlight this instance; just skip it.
  158.         startPt = doc.createRange();
  159.         startPt.setStart(retRange.endContainer, retRange.endOffset);
  160.       }
  161.  
  162.       startPt.collapse(true);
  163.     }
  164.     return;
  165.   }
  166.  
  167.   var baseNode = doc.createElement("span");
  168.   baseNode.setAttribute("style", "background-color: " + color + ";");
  169.   baseNode.setAttribute("id", "__firefox-findbar-search-id");
  170.  
  171.   highlightText(word, baseNode);
  172. }
  173.  
  174. function highlightText(word, baseNode)
  175. {
  176.   var retRange = null;
  177.   var finder = Components.classes["@mozilla.org/embedcomp/rangefind;1"].createInstance()
  178.                          .QueryInterface(Components.interfaces.nsIFind);
  179.  
  180.   finder.caseSensitive = document.getElementById("find-case-sensitive").checked;
  181.  
  182.   while((retRange = finder.Find(word, searchRange, startPt, endPt))) {
  183.     // Highlight
  184.     var nodeSurround = baseNode.cloneNode(true);
  185.     var node = highlight(retRange, nodeSurround);
  186.     startPt = node.ownerDocument.createRange();
  187.     startPt.setStart(node, node.childNodes.length);
  188.     startPt.setEnd(node, node.childNodes.length);
  189.   }
  190.   
  191.   gLastHighlightString = word;
  192. }
  193.  
  194. function highlight(range, node)
  195. {
  196.   var startContainer = range.startContainer;
  197.   var startOffset = range.startOffset;
  198.   var endOffset = range.endOffset;
  199.   var docfrag = range.extractContents();
  200.   var before = startContainer.splitText(startOffset);
  201.   var parent = before.parentNode;
  202.   node.appendChild(docfrag);
  203.   parent.insertBefore(node, before);
  204.   return node;
  205. }
  206.  
  207. function getSelectionControllerForFindToolbar(ds)
  208. {
  209.   var display = ds.QueryInterface(Components.interfaces.nsIInterfaceRequestor).getInterface(Components.interfaces.nsISelectionDisplay);
  210.   if (!display)
  211.     return null;
  212.   return display.QueryInterface(Components.interfaces.nsISelectionController);
  213. }
  214.  
  215. function toggleCaseSensitivity(aCaseSensitive)
  216. {
  217.   var fastFind = getBrowser().fastFind;
  218.   fastFind.caseSensitive = aCaseSensitive;
  219.   
  220.   if (gFindMode != FIND_NORMAL)
  221.     setFindCloseTimeout();
  222. }
  223.   
  224. function changeSelectionColor(aAttention)
  225. {
  226.   var ds = getBrowser().docShell;
  227.   var dsEnum = ds.getDocShellEnumerator(Components.interfaces.nsIDocShellTreeItem.typeContent,
  228.                                         Components.interfaces.nsIDocShell.ENUMERATE_FORWARDS);
  229.   while (dsEnum.hasMoreElements()) {
  230.     ds = dsEnum.getNext().QueryInterface(Components.interfaces.nsIDocShell);
  231.     var controller = getSelectionControllerForFindToolbar(ds);
  232.     if (!controller)
  233.       continue;
  234.     const selCon = Components.interfaces.nsISelectionController;
  235.     controller.setDisplaySelection(aAttention? selCon.SELECTION_ATTENTION : selCon.SELECTION_ON);
  236.   }
  237. }
  238.  
  239. function openFindBar()
  240. {
  241.   if (!gNotFoundStr || !gWrappedToTopStr || !gWrappedToBottomStr) {
  242.     var bundle = document.getElementById("bundle_findBar");
  243.     gNotFoundStr = bundle.getString("NotFound");
  244.     gWrappedToTopStr = bundle.getString("WrappedToTop");
  245.     gWrappedToBottomStr = bundle.getString("WrappedToBottom");
  246.   }
  247.  
  248.   var findToolbar = document.getElementById("FindToolbar");
  249.   if (findToolbar.hidden) {
  250.     findToolbar.hidden = false;
  251.   
  252.     var statusIcon = document.getElementById("find-status-icon");
  253.     var statusText = document.getElementById("find-status");
  254.     var findField = document.getElementById("find-field");
  255.     findField.removeAttribute("status");
  256.     statusIcon.removeAttribute("status");
  257.     statusText.value = "";
  258.  
  259.     return true;
  260.   }
  261.   return false;
  262. }
  263.  
  264. function focusFindBar()
  265. {
  266.   var findField = document.getElementById("find-field");
  267.   findField.focus();    
  268. }
  269.  
  270. function selectFindBar()
  271. {
  272.   var findField = document.getElementById("find-field");
  273.   findField.select();    
  274. }
  275.  
  276. function closeFindBar()
  277. {
  278.   var findField = document.getElementById("find-field");
  279.   var ww = Components.classes["@mozilla.org/embedcomp/window-watcher;1"]
  280.                      .getService(Components.interfaces.nsIWindowWatcher);
  281.   if (window == ww.activeWindow && document.commandDispatcher.focusedElement &&
  282.       document.commandDispatcher.focusedElement.parentNode.parentNode == findField) {
  283.     _content.focus();
  284.   }
  285.  
  286.   var findToolbar = document.getElementById("FindToolbar");
  287.   findToolbar.hidden = true;
  288.   gTypeAheadFindBuffer = "";
  289.   changeSelectionColor(false);
  290.   if (gQuickFindTimeout) {
  291.     clearTimeout(gQuickFindTimeout);
  292.     gQuickFindTimeout = null;    
  293.   } 
  294. }
  295.  
  296. function shouldFastFind(evt)
  297. {
  298.   if (evt.ctrlKey || evt.altKey || evt.metaKey || evt.getPreventDefault())
  299.     return false;
  300.     
  301.   var elt = document.commandDispatcher.focusedElement;
  302.   if (elt) {
  303.     var ln = elt.localName.toLowerCase();
  304.     if (ln == "input" || ln == "textarea" || ln == "select" || ln == "button" || ln == "isindex")
  305.       return false;
  306.   }
  307.   
  308.   var win = document.commandDispatcher.focusedWindow;
  309.   if (win && win.document.designMode == "on")
  310.     return false;
  311.   
  312.   return true;
  313. }
  314.  
  315. function onFindBarFocus()
  316. {
  317.   toggleLinkFocus(false);
  318. }
  319.  
  320. function onFindBarBlur()
  321. {
  322.   toggleLinkFocus(true);
  323.   changeSelectionColor(false);
  324. }
  325.  
  326. function onBrowserMouseDown(evt)
  327. {
  328.   var findToolbar = document.getElementById("FindToolbar");
  329.   if (!findToolbar.hidden && gFindMode != FIND_NORMAL)
  330.     closeFindBar();
  331. }
  332.  
  333. function onBrowserKeyPress(evt)
  334. {  
  335.   // Check focused elt
  336.   if (!shouldFastFind(evt))
  337.     return;
  338.   
  339.   var findField = document.getElementById("find-field");
  340.   if (gFindMode != FIND_NORMAL && gQuickFindTimeout) {    
  341.     if (evt.keyCode == 8) { // Backspace
  342.       if (findField.value) {
  343.         findField.value = findField.value.substr(0, findField.value.length - 1);
  344.         gIsBack = true;   
  345.         gBackProtectBuffer = 3;
  346.       }
  347.       else if (gBackProtectBuffer > 0) {
  348.         gBackProtectBuffer--;
  349.       }
  350.       
  351.       if (gIsBack || gBackProtectBuffer > 0)
  352.         evt.preventDefault();
  353.         
  354.       find(findField.value);
  355.     }
  356.     else if (evt.keyCode == 27) { // Escape
  357.       closeFindBar();
  358.       evt.preventDefault();
  359.     }
  360.     else if (evt.charCode) {
  361.       if (evt.charCode == 32) // Space
  362.         evt.preventDefault();
  363.         
  364.       findField.value += String.fromCharCode(evt.charCode);
  365.       find(findField.value);
  366.     }
  367.     return;
  368.   }
  369.   
  370.   if (evt.charCode == 39 /* ' */ || evt.charCode == 47 /* / */ || (gUseTypeAheadFind && evt.charCode && evt.charCode != 32)) {   
  371.     gFindMode = (evt.charCode == 39 || (gTypeAheadLinksOnly && evt.charCode != 47)) ? FIND_LINKS : FIND_TYPEAHEAD;
  372.     toggleLinkFocus(true);
  373.     if (openFindBar()) {      
  374.       setFindCloseTimeout();      
  375.       if (gUseTypeAheadFind && evt.charCode != 39 && evt.charCode != 47) {
  376.         gTypeAheadFindBuffer += String.fromCharCode(evt.charCode);        
  377.         findField.value = gTypeAheadFindBuffer;
  378.         find(findField.value);
  379.       }
  380.       else {
  381.         findField.value = "";
  382.       }
  383.     }
  384.     else {
  385.       if (gFindMode == FIND_NORMAL) {
  386.         selectFindBar();      
  387.         focusFindBar();
  388.       }
  389.       else {
  390.         findField.value = String.fromCharCode(evt.charCode);
  391.         find(findField.value);
  392.       }
  393.     }        
  394.   }
  395. }
  396.  
  397. function toggleLinkFocus(aFocusLinks)
  398. {
  399.   var fastFind = getBrowser().fastFind;
  400.   fastFind.focusLinks = aFocusLinks;
  401. }
  402.  
  403. function onBrowserKeyUp(evt)
  404. {
  405.   if (evt.keyCode == 8)
  406.     gIsBack = false;
  407. }
  408.  
  409. function onFindBarKeyPress(evt)
  410. {
  411.   if (evt.keyCode == KeyEvent.DOM_VK_RETURN) {
  412.     var findString = document.getElementById("find-field");
  413.     if (!findString.value)
  414.       return;
  415.       
  416.     if (evt.ctrlKey) {
  417.       document.getElementById("highlight").click();
  418.       return;
  419.     }
  420.     
  421.     if (evt.shiftKey)
  422.       findPrevious();
  423.     else
  424.       findNext();
  425.   }
  426.   else if (evt.keyCode == KeyEvent.DOM_VK_ESCAPE) {
  427.     closeFindBar();
  428.     evt.preventDefault();
  429.   } 
  430.   else if (evt.keyCode == KeyEvent.DOM_VK_PAGE_UP) {
  431.     window.top._content.scrollByPages(-1);
  432.     evt.preventDefault();
  433.   }
  434.   else if (evt.keyCode == KeyEvent.DOM_VK_PAGE_DOWN) {
  435.     window.top._content.scrollByPages(1);
  436.     evt.preventDefault();
  437.   }
  438.   else if (evt.keyCode == KeyEvent.DOM_VK_UP) {
  439.     window.top._content.scrollByLines(-1);
  440.     evt.preventDefault();
  441.   }
  442.   else if (evt.keyCode == KeyEvent.DOM_VK_DOWN) {
  443.     window.top._content.scrollByLines(1);
  444.     evt.preventDefault();
  445.   }
  446.  
  447. } 
  448.  
  449. function enableFindButtons(aEnable)
  450. {
  451.   var findNext = document.getElementById("find-next");
  452.   var findPrev = document.getElementById("find-previous");  
  453.   var highlight = document.getElementById("highlight");
  454.   findNext.disabled = findPrev.disabled = highlight.disabled = !aEnable;  
  455. }
  456.  
  457. function find(val)
  458. {
  459.   if (!val)
  460.     val = document.getElementById("find-field").value;
  461.     
  462.   enableFindButtons(val);
  463.  
  464.   var highlightBtn = document.getElementById("highlight");
  465.   if (highlightBtn.checked)
  466.     setHighlightTimeout();
  467.         
  468.   changeSelectionColor(true);
  469.   var fastFind = getBrowser().fastFind;  
  470.   var res = fastFind.find(val, gFindMode == FIND_LINKS);
  471.   updateStatus(res, true);
  472.   
  473.   if (gFindMode != FIND_NORMAL)
  474.     setFindCloseTimeout();
  475. }
  476.  
  477. function flashFindBar()
  478. {
  479.   var findToolbar = document.getElementById("FindToolbar");
  480.   if (gFlashFindBarCount-- == 0) {
  481.     clearInterval(gFlashFindBarTimeout);
  482.     findToolbar.removeAttribute("flash");
  483.     gFlashFindBarCount = 6;
  484.     return true;
  485.   }
  486.  
  487.   findToolbar.setAttribute("flash", (gFlashFindBarCount % 2 == 0) ? "false" : "true");
  488. }
  489.  
  490. function onFindCmd()
  491. {
  492.   gFindMode = FIND_NORMAL;
  493.   openFindBar();
  494.   if (gFlashFindBar) {
  495.     gFlashFindBarTimeout = setInterval(flashFindBar, 500);
  496.     var prefService = Components.classes["@mozilla.org/preferences-service;1"]
  497.                                 .getService(Components.interfaces.nsIPrefBranch);
  498.  
  499.     prefService.setIntPref("accessibility.typeaheadfind.flashBar", --gFlashFindBar);
  500.   }
  501.   selectFindBar();
  502.   focusFindBar();
  503. }
  504.  
  505. function onFindAgainCmd()
  506. {
  507.   var findString = getBrowser().findString;
  508.   if (!findString)
  509.     return onFindCmd();
  510.  
  511.   var res = findNext();
  512.   if (res == Components.interfaces.nsITypeAheadFind.FIND_NOTFOUND) {
  513.     if (openFindBar()) {
  514.       focusFindBar();
  515.       selectFindBar();
  516.       if (gFindMode != FIND_NORMAL)
  517.         setFindCloseTimeout();
  518.       
  519.       updateStatus(res, true);
  520.     }
  521.   }
  522. }
  523.  
  524. function onFindPreviousCmd()
  525. {
  526.   var findString = getBrowser().findString;
  527.   if (!findString)
  528.     return onFindCmd();
  529.  
  530.   var res = findPrevious();
  531.   if (res == Components.interfaces.nsITypeAheadFind.FIND_NOTFOUND) {
  532.     if (openFindBar()) {
  533.       focusFindBar();
  534.       selectFindBar();
  535.       if (gFindMode != FIND_NORMAL)
  536.         setFindCloseTimeout();
  537.       
  538.       updateStatus(res, false);
  539.     }
  540.   }
  541. }
  542.  
  543. function setHighlightTimeout()
  544. {
  545.   if (gHighlightTimeout)
  546.     clearTimeout(gHighlightTimeout);
  547.   gHighlightTimeout = setTimeout(function() { toggleHighlight(false); toggleHighlight(true); }, 500);  
  548. }
  549.  
  550. function isFindBarVisible()
  551. {
  552.   var findBar = document.getElementById("FindToolbar");
  553.   return !findBar.hidden;
  554. }
  555.  
  556. function findNext()
  557. {
  558.   changeSelectionColor(true);
  559.   var fastFind = getBrowser().fastFind; 
  560.   var res = fastFind.findNext();  
  561.   updateStatus(res, true);
  562.     
  563.   if (gFindMode != FIND_NORMAL && isFindBarVisible())
  564.     setFindCloseTimeout();
  565.   
  566.   return res;
  567. }
  568.  
  569. function findPrevious()
  570. {
  571.   changeSelectionColor(true);
  572.   var fastFind = getBrowser().fastFind;
  573.   var res = fastFind.findPrevious();
  574.   updateStatus(res, false);
  575.   
  576.   if (gFindMode != FIND_NORMAL && isFindBarVisible())
  577.     setFindCloseTimeout();
  578.   
  579.   return res;
  580. }
  581.  
  582. function updateStatus(res, findNext)
  583. {
  584.   var findBar = document.getElementById("FindToolbar");
  585.   var field = document.getElementById("find-field");
  586.   var statusIcon = document.getElementById("find-status-icon");
  587.   var statusText = document.getElementById("find-status");
  588.   switch(res) {
  589.     case Components.interfaces.nsITypeAheadFind.FIND_WRAPPED:
  590.       statusIcon.setAttribute("status", "wrapped");      
  591.       statusText.value = findNext ? gWrappedToTopStr : gWrappedToBottomStr;
  592.       break;
  593.     case Components.interfaces.nsITypeAheadFind.FIND_NOTFOUND:
  594.       statusIcon.setAttribute("status", "notfound");
  595.       statusText.value = gNotFoundStr;
  596.       field.setAttribute("status", "notfound");      
  597.       break;
  598.     case Components.interfaces.nsITypeAheadFind.FIND_FOUND:
  599.     default:
  600.       statusIcon.removeAttribute("status");      
  601.       statusText.value = "";
  602.       field.removeAttribute("status");
  603.       break;
  604.   }
  605. }
  606.  
  607. function setFindCloseTimeout()
  608. {
  609.   if (gQuickFindTimeout)
  610.     clearTimeout(gQuickFindTimeout);
  611.   gQuickFindTimeout = setTimeout(function() { if (gFindMode != FIND_NORMAL) closeFindBar(); }, gQuickFindTimeoutLength);
  612. }
  613.