context:   resizeFunc: function(event)   {     if (!event) // timer callback case      BookmarksToolbarRDFObserver._overflowTimerInEffect = false;    else if (event.target != document)      return; // only interested in chrome resizes    var buttons = document.getElementById("bookmarks-ptf");    if (!buttons)      return;    var chevron = document.getElementById("bookmarks-chevron");    if (!buttons.firstChild) {      // No bookmarks means no chevron      chevron.collapsed = true;      return;    }    chevron.collapsed = false;    var chevronWidth = chevron.boxObject.width;    chevron.collapsed = true;    var remainingWidth = buttons.boxObject.width;    var overflowed = false;    for (var i=0; i<buttons.childNodes.length; i++) {      var button = buttons.childNodes[i];      button.collapsed = overflowed;            if (i == buttons.childNodes.length - 1)        chevronWidth = 0;      remainingWidth -= button.boxObject.width;      if (remainingWidth < chevronWidth) {        overflowed = true;        // This button doesn't fit. Show it in the menu. Hide it in the toolbar.        if (!button.collapsed)          button.collapsed = true;        if (chevron.collapsed) {          chevron.collapsed = false;        }      }    }  },
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/3f8a89d11e63d3ec695fb538652a2c647c60caa6/bookmarksMenu.js/buggy/xpfe/components/bookmarks/resources/bookmarksMenu.js