mmj.pa.CompoundUndoManager.EditEvent compoundEdit
HighlightedDocument document
java.lang.Runnable callback
int lastCaret
int lastLength
boolean lastProgrammatic
int goalCaret
EditEvent
s
is undone or redone. The DocumentListener
part of this class is
called shortly afterward, and it attempts to relocate the cursor to where
it had been when the edit was made.HighlightedDocument.DocumentReader reader
mmj.pa.ColorThread colorer
WorksheetTokenizer tokenizer
boolean programmatic
boolean changed
int lastCaret
javax.swing.JTextPane textPane
ErrorCode code
java.util.List<E> ctxt
StepSelectorResults stepSelectorResults
ProofAsstGUI proofAsstGUI
javax.swing.JList<E> stepSelectorDialogList
StepSelectorDialog stepSelectorDialog
OperScrnMap operScrnMap
int formatType
int formatId
java.lang.String[] chapValues
FromSecScrnMap fromSecScrnMap
ThruChapScrnMap thruChapScrnMap
java.lang.String chap
int chapId
FromChapScrnMap fromChapScrnMap
java.lang.String[][] secValues
PartScrnMap partScrnMap
int inWhatType
int operType
FormatScrnMap formatScrnMap
int partType
int partId
SearchMgr searchMgr
SearchOptionsScrnMap searchOptionsScrnMap
javax.swing.Box frameBox
boolean shown
int buttonId
SearchOptionsButtonHandler searchOptionsButtonHandler
int fieldId
javax.swing.JLabel jLabel
java.lang.String defaultValue
int fieldId
java.lang.String defaultValue
int fieldId
javax.swing.JLabel jLabel
java.lang.String defaultValue
int fieldId
java.lang.String defaultValue
SearchMgr searchMgr
SearchResultsScrnMap searchResultsScrnMap
javax.swing.Box frameBox
boolean shown
int buttonId
SearchResultsButtonHandler searchResultsButtonHandler
SearchMgr searchMgr
int fieldId
SearchMgr searchMgr
SearchSelectionJList searchSelectionJList
java.lang.String[] chapValues
ThruSecScrnMap thruSecScrnMap
FromChapScrnMap fromChapScrnMap
java.lang.String chap
int chapId
ThruChapScrnMap thruChapScrnMap
java.lang.String[][] secValues