rem: view.treebox.rowCountChanged(array.length, gPrefView.length - array.length); 
add: view.treebox.rowCountChanged(oldlen, gPrefView.length - oldlen); 
context: function FilterPrefs(){  var substring = document.getElementById("textbox").value.toLowerCase();  var prefCol = view.selection.currentIndex < 0 ? null : gPrefView[view.selection.currentIndex].prefCol;  var array = gPrefView;  gPrefView = gPrefArray;  if (substring) {    gPrefView = [];    for (var i = 0; i < gPrefArray.length; ++i)      if (gPrefArray[i].prefCol.toLowerCase().indexOf(substring) >= 0)        gPrefView.push(gPrefArray[i]);    if (gFastIndex < gPrefArray.length)      gPrefView.sort(gSortFunction);  }  view.treebox.invalidate();  view.treebox.rowCountChanged(array.length, gPrefView.length - array.length);  gotoPref(prefCol);  document.getElementById("button").disabled = !substring;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/95fbb23132da652b0b44fa9e0b8ee2dba131ddeb/config.js/buggy/toolkit/components/viewconfig/content/config.js