d.addDocumentListener(listener);
}
@Override
public void addUndoableEditListener(UndoableEditListener listener) {
d.addUndoableEditListener(listener);
}
@Override
public Position createPosition(int offs) throws BadLocationException {
return d.createPosition(offs);