|
The Meta-Environment API | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use EditorPane | |
|---|---|
| nl.cwi.sen1.gui.plugin.editor | |
| Uses of EditorPane in nl.cwi.sen1.gui.plugin.editor |
|---|
| Fields in nl.cwi.sen1.gui.plugin.editor declared as EditorPane | |
|---|---|
private EditorPane |
SearchReplaceDialog.editor
|
private EditorPane |
SwingEditor.editorPane
|
| Methods in nl.cwi.sen1.gui.plugin.editor that return EditorPane | |
|---|---|
protected EditorPane |
EditorKit.EditorTextAction.getEditorPane(java.awt.event.ActionEvent e)
|
| Methods in nl.cwi.sen1.gui.plugin.editor with parameters of type EditorPane | |
|---|---|
private static javax.swing.text.Style |
StyleRegistrar.registerAttributes(EditorPane editor,
java.lang.String name,
nl.cwi.sen1.configapi.types.TextAttributeMap attrs)
|
private static void |
SliceRegistrar.registerSlice(EditorPane editor,
locationapi.types.Slice slice)
|
static void |
SliceRegistrar.registerSlices(EditorPane editor,
aterm.ATermList slices)
|
static void |
StyleRegistrar.registerTextCategories(EditorPane editor,
nl.cwi.sen1.configapi.types.PropertyList categories)
|
private static void |
StyleRegistrar.registerTextCategory(EditorPane editor,
nl.cwi.sen1.configapi.types.property.TextCategory category)
|
private static void |
StyleRegistrar.setStyleAttributes(EditorPane editor,
nl.cwi.sen1.configapi.types.TextAttributeMap attrs,
javax.swing.text.Style style)
|
| Constructors in nl.cwi.sen1.gui.plugin.editor with parameters of type EditorPane | |
|---|---|
SearchReplaceDialog(EditorPane editor,
java.awt.Frame frame)
|
|
|
The Meta-Environment API | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||