public class TextEditManager
extends java.lang.Object
JotyTextField
and the TextArea
classes. Manages the the usual copy-cut-paste actions and making them
possible inside the specific behavior of the two client classes, and further
more it helps in elaborating other typical key events moving the insertion point.
It instantiates and install an instance of the Java Swing UndoManager
class in the TextComponent injected into the constructor, to provide
it with undo-redo behavior.
Then it offers the two client classes its methods, the most important of which
is isAmodifyingKey
that stores internally the tasks associated with the
character currently analyzed .
JotyTextField
,
TextArea
Modifier and Type | Field and Description |
---|---|
Term.CcpCommand |
m_ccpCommand |
boolean |
m_concreteChar |
int |
m_selEnd |
int |
m_selStart |
javax.swing.undo.UndoManager |
m_undoManager |
boolean |
m_undoRedoAction |
Modifier and Type | Method and Description |
---|---|
void |
checkSize() |
void |
getDotPos() |
boolean |
isAmodifyingKey(java.awt.event.KeyEvent e) |
public int m_selStart
public int m_selEnd
public javax.swing.undo.UndoManager m_undoManager
public boolean m_undoRedoAction
public boolean m_concreteChar
public Term.CcpCommand m_ccpCommand