context: function ensureSelection(view){  // only select something if nothing is currently selected  // and that there's something to select  if (view.selection.count == 0 && view.rowCount)    view.selection.select(0);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/9c0f6d358f061ae6653ec72d834b418c31573f6e/pageInfo.js/buggy/browser/base/content/pageInfo.js