Uses of Interface
nl.cwi.sen1.gui.plugin.Editor

Packages that use Editor

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

Uses of Editor in nl.cwi.sen1.gui.plugin

Fields in nl.cwi.sen1.gui.plugin with type parameters of type Editor

private java.util.Map<java.lang.String,Editor>

EditorPlugin.editors

Methods in nl.cwi.sen1.gui.plugin that return Editor

private Editor	EditorPlugin.createPanel(aterm.ATerm editorId, java.lang.String filename)
private Editor	EditorPlugin.getEditorPanel(aterm.ATerm editorId)

Methods in nl.cwi.sen1.gui.plugin with parameters of type Editor

private void	EditorPlugin.addEditorActions(aterm.ATerm editorId, nl.cwi.sen1.gui.component.StudioComponent comp, aterm.ATermList actionList, Editor panel)
private void	EditorPlugin.addEditorModifiedListener(aterm.ATerm editorId, Editor panel)
private void	EditorPlugin.createEditMenu(Editor editor, nl.cwi.sen1.gui.component.StudioComponent comp)
void	EditorPlugin.showErrorDialog(Editor panel, int optionType, java.lang.String error)
private void	EditorPlugin.showSaveConfirmDialog(Editor panel, int optionType)

Uses of Editor in nl.cwi.sen1.gui.plugin.editor

Classes in nl.cwi.sen1.gui.plugin.editor that implement Editor

class

SwingEditor