/* Use the selection instead of the event's coordinates. Is this dangerous? */
ISelection selection= getSelection();
int length= e.text.length();
if (length == 0 && e.character == '\0') {
// backspace in StyledText block selection mode...
TextEdit edit= processor.backspace(selection);
edit.apply(fDocument, TextEdit.UPDATE_REGIONS);
ISelection empty= processor.makeEmpty(selection, true);
setSelection(empty);
} else {
int lines= processor.getCoveredLines(selection);