public void contentInserted(DocumentEvent e) {
invalidateElementBox(e.getParentElement());
if (beginWorkCount == 0) {
VexWidgetImpl.this.relayout();
}
addEdit(e.getUndoableEdit(), getCaretOffset());
}
public void attributeChanged(DocumentEvent e) {
invalidateElementBox(e.getParentElement());
// flush cached styles, since they might depend attribute values
// via conditional selectors
getStyleSheet().flushStyles(e.getParentElement());
if (beginWorkCount == 0) {
VexWidgetImpl.this.relayout();
}
addEdit(e.getUndoableEdit(), getCaretOffset());
hostComponent.fireSelectionChanged();
}