rem: if (view.selection.count == 0) 
add:   if (view.selection.count == 0 && view.rowCount) 
context: function ensureSelection(view){  if (view.selection.count == 0) // only select something if nothing is currently selected    view.selection.select(0);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a9b7fc80beacc41752c907057804c8d0a3630cff/pageInfo.js/buggy/browser/base/content/pageInfo.js