public void keyPressed(KeyEvent e) {
boolean undoNeeded = false;
switch (e.getKeyCode()) {
case KeyEvent.VK_DELETE:
case KeyEvent.VK_BACK_SPACE:
int[] selRows = rowHeader.getSelectedIndices();
undoNeeded = table.getCASView().deleteCasCells(selRows);
break;
}
if (undoNeeded) {
// store undo info
table.getApplication().storeUndoInfo();
}
}
