The Meta-Environment API

Serialized Form


Package nl.cwi.sen1.gui.plugin

Class nl.cwi.sen1.gui.plugin.EditorModifiedEvent extends java.util.EventObject implements Serializable


Package nl.cwi.sen1.gui.plugin.editor

Class nl.cwi.sen1.gui.plugin.editor.BaseDialog extends javax.swing.JDialog implements Serializable

Serialized Fields

state

int state
The dialog state.

Class nl.cwi.sen1.gui.plugin.editor.EditorKit extends javax.swing.text.StyledEditorKit implements Serializable

Serialized Fields

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

Class nl.cwi.sen1.gui.plugin.editor.EditorKit.DeleteLineAction extends EditorKit.EditorTextAction implements Serializable

Class nl.cwi.sen1.gui.plugin.editor.EditorKit.DeleteNextWordAction extends EditorKit.EditorTextAction implements Serializable

Class nl.cwi.sen1.gui.plugin.editor.EditorKit.DeletePreviousWordAction extends EditorKit.EditorTextAction implements Serializable

Class nl.cwi.sen1.gui.plugin.editor.EditorKit.EditorTextAction extends javax.swing.text.StyledEditorKit.StyledTextAction implements Serializable

Class nl.cwi.sen1.gui.plugin.editor.EditorKit.FindAction extends EditorKit.EditorTextAction implements Serializable

Serialized Fields

searchReplaceDialog

SearchReplaceDialog searchReplaceDialog

Class nl.cwi.sen1.gui.plugin.editor.EditorKit.GotoLineAction extends EditorKit.EditorTextAction implements Serializable

Class nl.cwi.sen1.gui.plugin.editor.EditorKit.GotoMatchingBracketAction extends EditorKit.EditorTextAction implements Serializable

Class nl.cwi.sen1.gui.plugin.editor.EditorKit.RedoAction extends javax.swing.AbstractAction implements Serializable

Class nl.cwi.sen1.gui.plugin.editor.EditorKit.SelectFocusAction extends EditorKit.EditorTextAction implements Serializable

Class nl.cwi.sen1.gui.plugin.editor.EditorKit.UndoAction extends javax.swing.AbstractAction implements Serializable

Class nl.cwi.sen1.gui.plugin.editor.EditorPane extends javax.swing.JTextPane implements Serializable

Serialized Fields

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

Class nl.cwi.sen1.gui.plugin.editor.EditorUndoManager extends javax.swing.undo.UndoManager implements Serializable

Class nl.cwi.sen1.gui.plugin.editor.FileToBigException extends java.lang.Exception implements Serializable

Class nl.cwi.sen1.gui.plugin.editor.GotoLineDialog extends BaseDialog implements Serializable

Serialized Fields

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

Class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog extends BaseDialog implements Serializable

Serialized Fields

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

Class nl.cwi.sen1.gui.plugin.editor.SwingEditor extends javax.swing.JPanel implements Serializable

Serialized Fields

id

java.lang.String id

filename

java.lang.String filename

editorPane

EditorPane editorPane


The Meta-Environment API