rem: var leadIndex = selectionModel.getLeadSelectionIndex() 
add: var leadIndex = selectionModel.getLeadSelectionIndex(); 
context: qx.Proto._handleSelectEvent = function(index, evt) {  var selectionModel = this.getSelectionModel();  if (evt.getShiftKey()) {    var leadIndex = selectionModel.getLeadSelectionIndex()    if (index != leadIndex || selectionModel.isSelectionEmpty()) {      // The lead selection index was changed      var anchorIndex = selectionModel.getAnchorSelectionIndex()      if (evt.isCtrlOrCommandPressed()) {        selectionModel.addSelectionInterval(anchorIndex, index);      } else {        selectionModel.setSelectionInterval(anchorIndex, index);      }    }  } else if (evt.isCtrlOrCommandPressed()) {    if (selectionModel.isSelectedIndex(index)) {      selectionModel.removeSelectionInterval(index, index);    } else {      selectionModel.addSelectionInterval(index, index);    }  } else {    selectionModel.setSelectionInterval(index, index);  }};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/aab5c14ebcbcb9cc52b00f5161dd21c252bbc832/SelectionManager.js/buggy/qooxdoo/source/script/qx/ui/table/SelectionManager.js