Serialized Form
|
Package nl.cwi.sen1.gui.plugin |
|
Package nl.cwi.sen1.gui.plugin.editor |
state
int state
- The dialog state.
UNDO_LIMIT
int UNDO_LIMIT
undoManager
javax.swing.undo.UndoManager undoManager
undo
EditorKit.UndoAction undo
redo
EditorKit.RedoAction redo
deleteLine
EditorKit.DeleteLineAction deleteLine
find
EditorKit.FindAction find
gotoLine
EditorKit.GotoLineAction gotoLine
gotoMatchingBracket
EditorKit.GotoMatchingBracketAction gotoMatchingBracket
selectFocus
EditorKit.SelectFocusAction selectFocus
deletePreviousWord
EditorKit.DeletePreviousWordAction deletePreviousWord
deleteNextWord
EditorKit.DeleteNextWordAction deleteNextWord
undoListener
javax.swing.event.UndoableEditListener undoListener
compoundEdit
javax.swing.undo.CompoundEdit compoundEdit
undoableSequence
boolean undoableSequence
searchReplaceDialog
SearchReplaceDialog searchReplaceDialog
defaultStyle
javax.swing.text.Style defaultStyle
focusTag
java.lang.Object focusTag
focusPainter
javax.swing.text.Highlighter.HighlightPainter focusPainter
bracketOffset
int bracketOffset
bracketTag
java.lang.Object bracketTag
bracketPainter
BracketHighlightPainter bracketPainter
jaggedSelectionTag
java.lang.Object jaggedSelectionTag
jaggedHighlightPainter
JaggedHighlightPainter jaggedHighlightPainter
modified
boolean modified
undoableEditListenerAdded
boolean undoableEditListenerAdded
menu
javax.swing.JMenu menu
bracketHighlightColor
java.awt.Color bracketHighlightColor
lineHighlightColor
java.awt.Color lineHighlightColor
backgroundColor
java.awt.Color backgroundColor
lineHighlight
java.awt.Rectangle lineHighlight
listeners
java.util.List<E> listeners
buttonPanel
javax.swing.JPanel buttonPanel
cancelButton
javax.swing.JButton cancelButton
lineNumberField
javax.swing.JTextField lineNumberField
lineNumberLabel
javax.swing.JLabel lineNumberLabel
mainPanel
javax.swing.JPanel mainPanel
okButton
javax.swing.JButton okButton
okPressed
boolean okPressed
editor
EditorPane editor
backwardRadioButton
javax.swing.JRadioButton backwardRadioButton
caseSensitiveCheck
javax.swing.JCheckBox caseSensitiveCheck
closeButton
javax.swing.JButton closeButton
directionButtonGroup
javax.swing.ButtonGroup directionButtonGroup
directionPanel
javax.swing.JPanel directionPanel
findButton
javax.swing.JButton findButton
findCombo
javax.swing.JComboBox findCombo
findLabel
javax.swing.JLabel findLabel
forwardRadioButton
javax.swing.JRadioButton forwardRadioButton
jPanel1
javax.swing.JPanel jPanel1
mainPanel
javax.swing.JPanel mainPanel
optionsPanel
javax.swing.JPanel optionsPanel
replaceAllButton
javax.swing.JButton replaceAllButton
replaceButton
javax.swing.JButton replaceButton
replaceFindButton
javax.swing.JButton replaceFindButton
replaceLabel
javax.swing.JLabel replaceLabel
replaceWithCombo
javax.swing.JComboBox replaceWithCombo
wrapSearchCheck
javax.swing.JCheckBox wrapSearchCheck
id
java.lang.String id
filename
java.lang.String filename
editorPane
EditorPane editorPane