com.borland.primetime.editor
Class JBUndoManager.UndoGroup
java.lang.Object
|
+--javax.swing.undo.AbstractUndoableEdit
|
+--javax.swing.undo.CompoundEdit
|
+--com.borland.primetime.editor.JBUndoManager.UndoGroup
- Direct Known Subclasses:
- JBUndoManager.UndoSegment
- Enclosing class:
- JBUndoManager
- protected class JBUndoManager.UndoGroup
- extends javax.swing.undo.CompoundEdit
An UndoGroup is a collection of zero or more edits that are treated as one
unit in terms of undo and redo support. Calling undo (or redo) on an
UndoGroup will cause each individual edit to be undone (or redone).
UndoGroups also maintain offsets, which are record to state of the caret
before the first edit in this group occurred, and the state after the
last edit in this group occurred.
- See Also:
- Serialized Form
Fields inherited from class javax.swing.undo.CompoundEdit |
edits |
Fields inherited from class javax.swing.undo.AbstractUndoableEdit |
RedoName,
UndoName |
Method Summary |
int |
getEndMark()
Get the position of the caret mark after the end of this UndoGroup. |
int |
getEndPoint()
Get the position of the caret dot after the end of this UndoGroup. |
int |
getStartMark()
Get the position of the caret mark before the start of this UndoGroup. |
int |
getStartPoint()
Get the position of the caret dot before the start of this UndoGroup. |
int |
hashCode()
|
void |
setEndOffsets(int point,
int mark)
Set the position of the caret point and mark at the end of this
UndoGroup. |
void |
setStartOffsets(int point,
int mark)
Set the position of the caret point and mark at the start of this
UndoGroup. |
Methods inherited from class javax.swing.undo.CompoundEdit |
addEdit,
canRedo,
canUndo,
die,
end,
getPresentationName,
getRedoPresentationName,
getUndoPresentationName,
isInProgress,
isSignificant,
lastEdit,
redo,
toString,
undo |
Methods inherited from class javax.swing.undo.AbstractUndoableEdit |
replaceEdit |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
notify,
notifyAll,
wait,
wait,
wait |
startPoint
protected int startPoint
startMark
protected int startMark
endPoint
protected int endPoint
endMark
protected int endMark
JBUndoManager.UndoGroup
protected JBUndoManager.UndoGroup()
setStartOffsets
public void setStartOffsets(int point,
int mark)
- Set the position of the caret point and mark at the start of this
UndoGroup.
- Parameters:
point
- The position of the caret dot at the start of this edit.mark
- The position of the caret mark at the start of this edit.
setEndOffsets
public void setEndOffsets(int point,
int mark)
- Set the position of the caret point and mark at the end of this
UndoGroup.
- Parameters:
point
- The position of the caret dot at the end of this edit.mark
- The position of the caret mark at the end of this edit.
getStartPoint
public int getStartPoint()
- Get the position of the caret dot before the start of this UndoGroup.
getStartMark
public int getStartMark()
- Get the position of the caret mark before the start of this UndoGroup.
getEndPoint
public int getEndPoint()
- Get the position of the caret dot after the end of this UndoGroup.
getEndMark
public int getEndMark()
- Get the position of the caret mark after the end of this UndoGroup.
hashCode
public int hashCode()
- Overrides:
- hashCode in class java.lang.Object