An implementation of ElementChange that can be added to the document event.
An implementation of ElementChange that can be added to the document event.
(->element-edit e index removed added)
Constructor.
Constructs an edit record. This does not modify the element so it can safely be used to catch up a view to the current model state for views that just attached to a model.
e - the element - javax.swing.text.Element
index - the index into the model >= 0 - int
removed - a set of elements that were removed - javax.swing.text.Element[]
added - a set of elements that were added - javax.swing.text.Element[]
Constructor. Constructs an edit record. This does not modify the element so it can safely be used to catch up a view to the current model state for views that just attached to a model. e - the element - `javax.swing.text.Element` index - the index into the model >= 0 - `int` removed - a set of elements that were removed - `javax.swing.text.Element[]` added - a set of elements that were added - `javax.swing.text.Element[]`
(get-children-added this)
Gets a list of children that were added.
returns: the list - javax.swing.text.Element[]
Gets a list of children that were added. returns: the list - `javax.swing.text.Element[]`
(get-children-removed this)
Gets a list of children that were removed.
returns: the list - javax.swing.text.Element[]
Gets a list of children that were removed. returns: the list - `javax.swing.text.Element[]`
(get-element this)
Returns the underlying element.
returns: the element - javax.swing.text.Element
Returns the underlying element. returns: the element - `javax.swing.text.Element`
(get-index this)
Returns the index into the list of elements.
returns: the index >= 0 - int
Returns the index into the list of elements. returns: the index >= 0 - `int`
(redo this)
Redoes a change.
throws: javax.swing.undo.CannotRedoException - if the change cannot be redone
Redoes a change. throws: javax.swing.undo.CannotRedoException - if the change cannot be redone
(undo this)
Undoes a change.
throws: javax.swing.undo.CannotUndoException - if the change cannot be undone
Undoes a change. throws: javax.swing.undo.CannotUndoException - if the change cannot be undone
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close