// -- disable double click on tabbar (new tab) ------------------------------

  getBrowser().mTabContainer.addEventListener('dblclick',
    function(event) {
      if (event.button == 0 && event.originalTarget.localName == 'box') {
        event.stopPropagation();
        event.preventDefault();
      }
    }, true);