// -- hide findbar on mousemove (prevent window focus stealing) -------------

/*window.addEventListener('mousemove',
    function(event) {
      if (gFindBar._quickFindTimeout)
        gFindBar.close();
    }, false);*/

  function closeFindToolbar(event)
  {
    var close = false;

    switch (event.type) {
      case 'mousemove':
        if (event.clientX < 30 || event.clientX > (window.innerWidth  - 30) ||
            event.clientY < 30 || event.clientY > (window.innerHeight - 30))
          close = true;
        break;
      case 'mouseout':
        if (event.target.nodeName == 'HTML' ||
            event.target.nodeName == 'tabbrowser')
          close = true;
        break;
      default:
        alert('Unhandled event: ' + event.type);
        break;
    }

    if (close && gFindBar._quickFindTimeout)
      gFindBar.close();
  }

  setTimeout(function() {
      gFindBar._open = gFindBar.open;

      gFindBar.open = function(aMode)
      {
        if (aMode == this.FIND_TYPEAHEAD) {
          window.addEventListener('mousemove', closeFindToolbar, false);
          window.addEventListener('mouseout',  closeFindToolbar, false);
        }

        gFindBar._open(aMode);
      }

      gFindBar._close = gFindBar.close;

      gFindBar.close = function()
      {
        gFindBar._close();

        window.removeEventListener('mousemove', closeFindToolbar, false);
        window.removeEventListener('mouseout',  closeFindToolbar, false);
      }
    }, 50);