Module org.autogui

Package org.autogui.swing.mapping

Class GuiReprValueDocumentEditor.UndoContentPosition

java.lang.Object

org.autogui.swing.mapping.GuiReprValueDocumentEditor.UndoContentPosition

Enclosing class:

GuiReprValueDocumentEditor

public static class GuiReprValueDocumentEditor.UndoContentPosition
extends Object

a saved position for GuiReprValueDocumentEditor.ContentPosition. it can restore the offset value to the position instance

Field Summary

Fields

Modifier and Type	Field	Description
protected int	offset
protected GuiReprValueDocumentEditor.ContentPosition	position

Constructor Summary

Constructors

Constructor	Description
UndoContentPosition(GuiReprValueDocumentEditor.ContentPosition position)

Method Summary

Modifier and Type	Method	Description
void	restore()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

position

protected GuiReprValueDocumentEditor.ContentPosition position

offset

protected int offset

Constructor Details

UndoContentPosition

public UndoContentPosition(GuiReprValueDocumentEditor.ContentPosition position)

Method Details

restore

public void restore()

toString

public String toString()

Overrides:

toString in class Object