public void delete() {
try {
editor
.getDocument()
.remove(
editor.getSelectionStart(), editor.getSelectionEnd() - editor.getSelectionStart());
} catch (BadLocationException ex) {
// GUIPrism.getGUI().getMultiLogger().logMessage(PrismLogLevel.PRISM_ERROR, ex.getMessage());
}
}
