A B C D E F G H I J K L M N O P R S T U W

A

actionPerformed(ActionEvent) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit.DeleteLineAction

actionPerformed(ActionEvent) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit.DeleteNextWordAction

actionPerformed(ActionEvent) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit.DeletePreviousWordAction

actionPerformed(ActionEvent) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit.FindAction

actionPerformed(ActionEvent) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit.GotoLineAction

actionPerformed(ActionEvent) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit.GotoMatchingBracketAction

actionPerformed(ActionEvent) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit.RedoAction

actionPerformed(ActionEvent) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit.SelectFocusAction

actionPerformed(ActionEvent) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit.UndoAction

addActions(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

addActions(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

addActions(ATerm, ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

addBinding(int, String) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

addBinding(JMenu, int, String) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

addBindings() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

addCaretListener() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

addDocumentListener() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

addEdit(UndoableEdit) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorUndoManager

addEditorActions(ATerm, StudioComponent, ATermList, Editor) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

addEditorModifiedListener(EditorModifiedListener) - Method in interface nl.cwi.sen1.gui.plugin.Editor

addEditorModifiedListener(EditorModifiedListener) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

addEditorModifiedListener(EditorModifiedListener) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

addEditorModifiedListener(ATerm, Editor) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

addMouseListener(MouseListener) - Method in interface nl.cwi.sen1.gui.plugin.Editor

addMouseListener(MouseListener) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

addMouseMotionListener() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

addStudioComponentListener(ATerm, SwingEditor, StudioComponent) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

B

backgroundColor - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

backwardRadioButton - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

BaseDialog - Class in nl.cwi.sen1.gui.plugin.editor

BaseDialog() - Constructor for class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Constructs a BaseDialog instance with specific attributes.

BaseDialog(Frame) - Constructor for class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Constructs a BaseDialog instance with specific attributes.

BaseDialog(Frame, boolean) - Constructor for class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Constructs a BaseDialog instance with specific attributes.

BaseDialog(Frame, String) - Constructor for class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Constructs a BaseDialog instance with specific attributes.

BaseDialog(Frame, String, boolean) - Constructor for class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Constructs a BaseDialog instance with specific attributes.

BaseDialog(Dialog) - Constructor for class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Constructs a BaseDialog instance with specific attributes.

BaseDialog(Dialog, boolean) - Constructor for class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Constructs a BaseDialog instance with specific attributes.

BaseDialog(Dialog, String) - Constructor for class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Constructs a BaseDialog instance with specific attributes.

BaseDialog(Dialog, String, boolean) - Constructor for class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Constructs a BaseDialog instance with specific attributes.

bracketHighlightColor - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

BracketHighlightPainter - Class in nl.cwi.sen1.gui.plugin.editor

BracketHighlightPainter(Color) - Constructor for class nl.cwi.sen1.gui.plugin.editor.BracketHighlightPainter

bracketOffset - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

bracketPainter - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

bracketTag - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

bridge - Variable in class nl.cwi.sen1.gui.plugin.EditorPlugin

buttonPanel - Variable in class nl.cwi.sen1.gui.plugin.editor.GotoLineDialog

C

CANCEL - Static variable in class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Constant for the dialog state CANCEL.

cancelButton - Variable in class nl.cwi.sen1.gui.plugin.editor.GotoLineDialog

cancelButtonActionPerformed() - Method in class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Processes the action event, raised by the Cancel button.

caseSensitiveCheck - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

centerDialog(Container) - Method in class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Centers the dialog over its parent component.

checkInputSignature(ATermList) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginTool

cleanupEditor(StudioComponent, String) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

clearFocus() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

clearFocus(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

clearFocus(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

clearFocus(ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

clearJaggedSelection() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

clearSelections() - Method in interface nl.cwi.sen1.gui.plugin.Editor

clearSelections() - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

closeButton - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

closeButtonActionPerformed() - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

closeDialog() - Method in class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Closes the dialog

closeEditor(StudioComponent, String, int) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

componentsById - Variable in class nl.cwi.sen1.gui.plugin.EditorPlugin

compoundEdit - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

configFactory - Variable in class nl.cwi.sen1.gui.plugin.EditorPlugin

convertColor(Color) - Static method in class nl.cwi.sen1.gui.plugin.editor.StyleRegistrar

create(Element) - Method in class nl.cwi.sen1.gui.plugin.editor.NumberedEditorKit.NumberedViewFactory

createActions() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit

createEditMenu(Editor, StudioComponent) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

createFileMenu(ATerm, StudioComponent) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

createPanel(ATerm, String) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

D

defaultFactory - Static variable in class nl.cwi.sen1.gui.plugin.editor.NumberedEditorKit

defaultStyle - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

deleteLine - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

deleteLineAction - Static variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

deleteNextWord - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

deleteNextWordAction - Static variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

deletePreviousWord - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

deletePreviousWordAction - Static variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

directionButtonGroup - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

directionPanel - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

displayMessage(ATerm, String) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

displayMessage(ATerm, String) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

displayMessage(ATerm, String) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

E

editFile(ATerm, String) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

editFile(ATerm, String) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

editFile(ATerm, String) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

Editor - Interface in nl.cwi.sen1.gui.plugin

editor - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

editorDisconnected(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

EditorKit - Class in nl.cwi.sen1.gui.plugin.editor

EditorKit() - Constructor for class nl.cwi.sen1.gui.plugin.editor.EditorKit

EditorKit.DeleteLineAction - Class in nl.cwi.sen1.gui.plugin.editor

EditorKit.DeleteLineAction() - Constructor for class nl.cwi.sen1.gui.plugin.editor.EditorKit.DeleteLineAction

EditorKit.DeleteNextWordAction - Class in nl.cwi.sen1.gui.plugin.editor

EditorKit.DeleteNextWordAction() - Constructor for class nl.cwi.sen1.gui.plugin.editor.EditorKit.DeleteNextWordAction

EditorKit.DeletePreviousWordAction - Class in nl.cwi.sen1.gui.plugin.editor

EditorKit.DeletePreviousWordAction() - Constructor for class nl.cwi.sen1.gui.plugin.editor.EditorKit.DeletePreviousWordAction

EditorKit.EditorTextAction - Class in nl.cwi.sen1.gui.plugin.editor

EditorKit.EditorTextAction(String) - Constructor for class nl.cwi.sen1.gui.plugin.editor.EditorKit.EditorTextAction

EditorKit.FindAction - Class in nl.cwi.sen1.gui.plugin.editor

EditorKit.FindAction() - Constructor for class nl.cwi.sen1.gui.plugin.editor.EditorKit.FindAction

EditorKit.GotoLineAction - Class in nl.cwi.sen1.gui.plugin.editor

EditorKit.GotoLineAction() - Constructor for class nl.cwi.sen1.gui.plugin.editor.EditorKit.GotoLineAction

EditorKit.GotoMatchingBracketAction - Class in nl.cwi.sen1.gui.plugin.editor

EditorKit.GotoMatchingBracketAction() - Constructor for class nl.cwi.sen1.gui.plugin.editor.EditorKit.GotoMatchingBracketAction

EditorKit.RedoAction - Class in nl.cwi.sen1.gui.plugin.editor

EditorKit.RedoAction() - Constructor for class nl.cwi.sen1.gui.plugin.editor.EditorKit.RedoAction

EditorKit.SelectFocusAction - Class in nl.cwi.sen1.gui.plugin.editor

EditorKit.SelectFocusAction() - Constructor for class nl.cwi.sen1.gui.plugin.editor.EditorKit.SelectFocusAction

EditorKit.UndoAction - Class in nl.cwi.sen1.gui.plugin.editor

EditorKit.UndoAction() - Constructor for class nl.cwi.sen1.gui.plugin.editor.EditorKit.UndoAction

editorModified(EditorModifiedEvent) - Method in interface nl.cwi.sen1.gui.plugin.EditorModifiedListener

EditorModifiedEvent - Class in nl.cwi.sen1.gui.plugin

EditorModifiedEvent(Object) - Constructor for class nl.cwi.sen1.gui.plugin.EditorModifiedEvent

EditorModifiedListener - Interface in nl.cwi.sen1.gui.plugin

EditorPane - Class in nl.cwi.sen1.gui.plugin.editor

EditorPane() - Constructor for class nl.cwi.sen1.gui.plugin.editor.EditorPane

editorPane - Variable in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

EditorPlugin - Class in nl.cwi.sen1.gui.plugin

EditorPlugin() - Constructor for class nl.cwi.sen1.gui.plugin.EditorPlugin

EditorPluginBridge - Class in nl.cwi.sen1.gui.plugin

EditorPluginBridge(ATermFactory, EditorPluginTif) - Constructor for class nl.cwi.sen1.gui.plugin.EditorPluginBridge

EditorPluginTif - Interface in nl.cwi.sen1.gui.plugin

EditorPluginTool - Class in nl.cwi.sen1.gui.plugin

EditorPluginTool(ATermFactory) - Constructor for class nl.cwi.sen1.gui.plugin.EditorPluginTool

editors - Variable in class nl.cwi.sen1.gui.plugin.EditorPlugin

editorToFront(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

editorToFront(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

editorToFront(ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

EditorUndoManager - Class in nl.cwi.sen1.gui.plugin.editor

EditorUndoManager() - Constructor for class nl.cwi.sen1.gui.plugin.editor.EditorUndoManager

endUndoableSequence() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit

F

factory - Static variable in class nl.cwi.sen1.gui.plugin.editor.SliceRegistrar

filename - Variable in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

FileToBigException - Exception in nl.cwi.sen1.gui.plugin.editor

FileToBigException(String) - Constructor for exception nl.cwi.sen1.gui.plugin.editor.FileToBigException

find - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

find(String, boolean, boolean, boolean) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

findAction - Static variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

findButton - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

findButtonActionPerformed() - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

findCombo - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

findFromInText(String, String, int, boolean) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

findLabel - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

findMatchingBracket(Document, int) - Static method in class nl.cwi.sen1.gui.plugin.editor.TextUtilities

fireEditorModifiedEvent() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

focus(int, int) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

FOCUS_STYLE_NAME - Static variable in class nl.cwi.sen1.gui.plugin.editor.StyleRegistrar

focusPainter - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

focusTag - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

forwardRadioButton - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

G

getAction(String) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit

getActions() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit

getBackgroundColor() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

getContents() - Method in interface nl.cwi.sen1.gui.plugin.Editor

getContents() - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

getContents(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

getContents(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

getContents(ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

getDefaultStyle() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

getEditMenu() - Method in interface nl.cwi.sen1.gui.plugin.Editor

getEditMenu() - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

getEditorMenu() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

getEditorPane(ActionEvent) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit.EditorTextAction

getEditorPanel(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

getFilename() - Method in interface nl.cwi.sen1.gui.plugin.Editor

getFilename() - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

getFindDirection() - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

getFindText() - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

getFocusTag() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

getId() - Method in interface nl.cwi.sen1.gui.plugin.Editor

getId() - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

getJaggedSelectionTag() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

getLineNumber() - Method in class nl.cwi.sen1.gui.plugin.editor.GotoLineDialog

getMouseOffset(int, int) - Method in interface nl.cwi.sen1.gui.plugin.Editor

getMouseOffset(int, int) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

getName() - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

getPreviousLineCount() - Method in class nl.cwi.sen1.gui.plugin.editor.NumberedEditorKit.NumberedParagraphView

getScrollableTracksViewportWidth() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

getState() - Method in class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Gets the dialog state.

getUndoListener() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit

getUndoManager() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit

getViewFactory() - Method in class nl.cwi.sen1.gui.plugin.editor.NumberedEditorKit

gotoLine - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

gotoLine(int) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

gotoLineAction - Static variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

GotoLineDialog - Class in nl.cwi.sen1.gui.plugin.editor

GotoLineDialog() - Constructor for class nl.cwi.sen1.gui.plugin.editor.GotoLineDialog

gotoMatchingBracket - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

gotoMatchingBracketAction - Static variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

H

handler(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginTool

highlight(int) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

highlightSlices(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

highlightSlices(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

highlightSlices(ATerm, ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

I

id - Variable in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

initBindings() - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

initComponents() - Method in class nl.cwi.sen1.gui.plugin.editor.GotoLineDialog

initComponents() - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

initFactory(ATermList) - Static method in class nl.cwi.sen1.gui.plugin.editor.SliceRegistrar

initPatterns() - Method in class nl.cwi.sen1.gui.plugin.EditorPluginTool

initSigTable() - Method in class nl.cwi.sen1.gui.plugin.EditorPluginTool

initStudioPlugin(Studio) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

isCaseSensitiveSearch() - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

isEditable() - Method in interface nl.cwi.sen1.gui.plugin.Editor

isEditable() - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

isModified() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

isModified() - Method in interface nl.cwi.sen1.gui.plugin.Editor

isModified() - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

isModified(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

isModified(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

isModified(ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

isWrappedSearch() - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

J

jag(int, int) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

jaggedHighlightPainter - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

JaggedHighlightPainter - Class in nl.cwi.sen1.gui.plugin.editor

JaggedHighlightPainter(Color) - Constructor for class nl.cwi.sen1.gui.plugin.editor.JaggedHighlightPainter

jaggedSelectionTag - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

jPanel1 - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

K

killEditor(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

killEditor(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

killEditor(ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

L

lineHighlight - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

lineHighlightColor - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

lineNumberField - Variable in class nl.cwi.sen1.gui.plugin.editor.GotoLineDialog

lineNumberLabel - Variable in class nl.cwi.sen1.gui.plugin.editor.GotoLineDialog

listeners - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

M

mainPanel - Variable in class nl.cwi.sen1.gui.plugin.editor.GotoLineDialog

mainPanel - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

menu - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

modified - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

N

nl.cwi.sen1.gui.plugin - package nl.cwi.sen1.gui.plugin

nl.cwi.sen1.gui.plugin.editor - package nl.cwi.sen1.gui.plugin.editor

notInInputSignature(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginTool

NumberedEditorKit - Class in nl.cwi.sen1.gui.plugin.editor

NumberedEditorKit() - Constructor for class nl.cwi.sen1.gui.plugin.editor.NumberedEditorKit

NumberedEditorKit.NumberedParagraphView - Class in nl.cwi.sen1.gui.plugin.editor

NumberedEditorKit.NumberedParagraphView(Element) - Constructor for class nl.cwi.sen1.gui.plugin.editor.NumberedEditorKit.NumberedParagraphView

NumberedEditorKit.NumberedViewFactory - Class in nl.cwi.sen1.gui.plugin.editor

NumberedEditorKit.NumberedViewFactory() - Constructor for class nl.cwi.sen1.gui.plugin.editor.NumberedEditorKit.NumberedViewFactory

NUMBERS_WIDTH - Static variable in class nl.cwi.sen1.gui.plugin.editor.NumberedEditorKit.NumberedParagraphView

O

OK - Static variable in class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Constant for the dialog state OK.

okButton - Variable in class nl.cwi.sen1.gui.plugin.editor.GotoLineDialog

okButtonActionPerformed() - Method in class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Processes the action event, raised by the OK button.

okPressed - Variable in class nl.cwi.sen1.gui.plugin.editor.GotoLineDialog

optionsPanel - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

P

PaddActions0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

paintBracketHighlight() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

paintChild(Graphics, Rectangle, int) - Method in class nl.cwi.sen1.gui.plugin.editor.NumberedEditorKit.NumberedParagraphView

paintComponent(Graphics) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

paintLayer(Graphics, int, int, Shape, JTextComponent, View) - Method in class nl.cwi.sen1.gui.plugin.editor.BracketHighlightPainter

paintLayer(Graphics, int, int, Shape, JTextComponent, View) - Method in class nl.cwi.sen1.gui.plugin.editor.JaggedHighlightPainter

paintLineHighlight() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

PclearFocus0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PdisplayMessage0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PeditFile0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PeditorToFront0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PgetContents0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PhighlightSlices0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PisModified0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PkillEditor0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

popup - Variable in class nl.cwi.sen1.gui.plugin.EditorPlugin

PrecAckEvent0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PrecTerminate0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PregisterTextCategories0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PrereadContents0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PsetContents0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PsetCursorAtOffset0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PsetEditable0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PsetFocus0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PsetInfo0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PsetSelection0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PsetTooltip0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PshowPopup0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

PwriteContents0 - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

R

readContents() - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

readFileContents() - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

recAckEvent(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

recAckEvent(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

recAckEvent(ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

recTerminate(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

recTerminate(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

recTerminate(ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

redo - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

redoAction - Static variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

registerAttributes(EditorPane, String, TextAttributeMap) - Static method in class nl.cwi.sen1.gui.plugin.editor.StyleRegistrar

registerCategories(PropertyList) - Method in interface nl.cwi.sen1.gui.plugin.Editor

registerCategories(PropertyList) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

registerSlice(EditorPane, Slice) - Static method in class nl.cwi.sen1.gui.plugin.editor.SliceRegistrar

registerSlices(ATerm) - Method in interface nl.cwi.sen1.gui.plugin.Editor

registerSlices(EditorPane, ATermList) - Static method in class nl.cwi.sen1.gui.plugin.editor.SliceRegistrar

registerSlices(ATerm) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

registerStandardKeyBindings() - Method in class nl.cwi.sen1.gui.plugin.editor.BaseDialog

Registers standard key bindings.

registerTextCategories(EditorPane, PropertyList) - Static method in class nl.cwi.sen1.gui.plugin.editor.StyleRegistrar

registerTextCategories(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

registerTextCategories(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

registerTextCategories(ATerm, ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

registerTextCategory(EditorPane, TextCategory) - Static method in class nl.cwi.sen1.gui.plugin.editor.StyleRegistrar

removeEditorModifiedListener(EditorModifiedListener) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

removeEditorModifiedListener(EditorModifiedListener) - Method in interface nl.cwi.sen1.gui.plugin.Editor

removeEditorModifiedListener(EditorModifiedListener) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

removeMouseListener(MouseListener) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

replace(String, String, boolean, boolean, boolean) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

replaceAll(String, String, boolean) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

replaceAllButton - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

replaceAllButtonActionPerformed() - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

replaceButton - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

replaceButtonActionPerformed() - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

replaceFindButton - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

replaceFindButtonActionPerformed() - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

replaceLabel - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

replaceWithCombo - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

requestFocus() - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

rereadContents() - Method in interface nl.cwi.sen1.gui.plugin.Editor

rereadContents() - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

rereadContents(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

rereadContents(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

rereadContents(ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

S

searchReplaceDialog - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit.FindAction

SearchReplaceDialog - Class in nl.cwi.sen1.gui.plugin.editor

SearchReplaceDialog(EditorPane, Frame) - Constructor for class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

selectFocus - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

selectFocusAction - Static variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

SELECTION_STYLE_NAME - Static variable in class nl.cwi.sen1.gui.plugin.editor.StyleRegistrar

setCaretPositionAtEnd() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

setContents(String) - Method in interface nl.cwi.sen1.gui.plugin.Editor

setContents(String) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

setContents(ATerm, String) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

setContents(ATerm, String) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

setContents(ATerm, String) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

setCursorAtOffset(int) - Method in interface nl.cwi.sen1.gui.plugin.Editor

setCursorAtOffset(int) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

setCursorAtOffset(ATerm, int) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

setCursorAtOffset(ATerm, int) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

setCursorAtOffset(ATerm, int) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

setEditable(boolean) - Method in interface nl.cwi.sen1.gui.plugin.Editor

setEditable(boolean) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

setEditable(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

setEditable(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

setEditable(ATerm, ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

setFindText(String) - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

setFocus(Area) - Method in interface nl.cwi.sen1.gui.plugin.Editor

setFocus(Area) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

setFocus(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

setFocus(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

setFocus(ATerm, ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

setFocusColor(Color) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

setInfo(ATerm, String) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

setInfo(ATerm, String) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

setInfo(ATerm, String) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

setInsets(short, short, short, short) - Method in class nl.cwi.sen1.gui.plugin.editor.NumberedEditorKit.NumberedParagraphView

setLineNumber(int) - Method in class nl.cwi.sen1.gui.plugin.editor.GotoLineDialog

setModified(boolean) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

setModified(boolean) - Method in interface nl.cwi.sen1.gui.plugin.Editor

setModified(boolean) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

setSelection(Area) - Method in interface nl.cwi.sen1.gui.plugin.Editor

setSelection(Area) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

setSelection(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

setSelection(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

setSelection(ATerm, ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

setStyle(int, int, String) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

setStyleAttributes(EditorPane, TextAttributeMap, Style) - Static method in class nl.cwi.sen1.gui.plugin.editor.StyleRegistrar

setText(String) - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

setTooltip(ATerm, String) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

setTooltip(ATerm, String) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

setTooltip(ATerm, String) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

setVisible(boolean) - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

showErrorDialog(Editor, int, String) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

showPopup(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

showPopup(ATerm, ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

showPopup(ATerm, ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

showSaveConfirmDialog(Editor, int) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

sigTable - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginTool

SliceRegistrar - Class in nl.cwi.sen1.gui.plugin.editor

SliceRegistrar() - Constructor for class nl.cwi.sen1.gui.plugin.editor.SliceRegistrar

startUndoableSequence() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit

state - Variable in class nl.cwi.sen1.gui.plugin.editor.BaseDialog

The dialog state.

statusbarsById - Variable in class nl.cwi.sen1.gui.plugin.EditorPlugin

studio - Variable in class nl.cwi.sen1.gui.plugin.EditorPlugin

StyleRegistrar - Class in nl.cwi.sen1.gui.plugin.editor

StyleRegistrar() - Constructor for class nl.cwi.sen1.gui.plugin.editor.StyleRegistrar

SwingEditor - Class in nl.cwi.sen1.gui.plugin.editor

SwingEditor(String, String) - Constructor for class nl.cwi.sen1.gui.plugin.editor.SwingEditor

T

TextUtilities - Class in nl.cwi.sen1.gui.plugin.editor

TextUtilities() - Constructor for class nl.cwi.sen1.gui.plugin.editor.TextUtilities

tool - Variable in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

TOOL_NAME - Static variable in class nl.cwi.sen1.gui.plugin.EditorPlugin

U

undo - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

UNDO_LIMIT - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

undoableEditListenerAdded - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorPane

undoableSequence - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

undoAction - Static variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

undoListener - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

undoManager - Variable in class nl.cwi.sen1.gui.plugin.editor.EditorKit

unsetStyles() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorPane

updateComboBox(JComboBox, String) - Method in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

updateRedoState() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit.RedoAction

updateUndoState() - Method in class nl.cwi.sen1.gui.plugin.editor.EditorKit.UndoAction

W

wrapSearchCheck - Variable in class nl.cwi.sen1.gui.plugin.editor.SearchReplaceDialog

writeContents(String) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

writeContents(String) - Method in interface nl.cwi.sen1.gui.plugin.Editor

writeContents(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPlugin

writeContents(ATerm) - Method in class nl.cwi.sen1.gui.plugin.EditorPluginBridge

writeContents(ATerm) - Method in interface nl.cwi.sen1.gui.plugin.EditorPluginTif

writeCopy(String) - Method in class nl.cwi.sen1.gui.plugin.editor.SwingEditor

A B C D E F G H I J K L M N O P R S T U W