Module org.autogui
Package org.autogui.swing.mapping
Class GuiReprValueDocumentEditor.UndoContentPosition
java.lang.Object
org.autogui.swing.mapping.GuiReprValueDocumentEditor.UndoContentPosition
- Enclosing class:
GuiReprValueDocumentEditor
a saved position for
GuiReprValueDocumentEditor.ContentPosition
. it can restore the offset value to the position instance