protected UndoEdit DeleteText(IDocument doc2Alter, int offset, int length)
{
DeleteEdit charRemoval = new DeleteEdit(offset, length);
UndoEdit removal = null;
try {
removal = charRemoval.apply(doc2Alter);
} catch (BadLocationException e) {
// Doing nowt right now. The Java editor doesn't, so should we?
}
return removal;
}