rem: var res = gFilterTree.builderView.getResourceAtIndex(k); toggleFilter(res.Value); 
add: toggleFilter(gFilterTree.builderView.getResourceAtIndex(k)); 
context: function onFilterTreeKeyPress(event){  // for now, only do something on space key  if (event.keyCode != 0)    return;  var rangeCount = gFilterTree.view.selection.getRangeCount();  for (var i = 0; i < rangeCount; ++i) {    var start = {}, end = {};    gFilterTree.view.selection.getRangeAt(i, start, end);    for (var k = start.value; k <= end.value; ++k) {      var res = gFilterTree.builderView.getResourceAtIndex(k);      toggleFilter(res.Value);    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e0c2302d75f833d7c3733efe6cc28123cf0ea0da/FilterListDialog.js/buggy/mail/base/content/FilterListDialog.js