Ejemplo n.º 1
0
        public void contentInserted(DocumentEvent e) {
          invalidateElementBox(e.getParentElement());

          if (beginWorkCount == 0) {
            VexWidgetImpl.this.relayout();
          }

          addEdit(e.getUndoableEdit(), getCaretOffset());
        }
Ejemplo n.º 2
0
        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();
        }