Package | Description |
---|---|
org.jeditor.app |
A class showing the use of the package.
|
org.jeditor.core |
This package contains the core syntax classes of the library.
|
org.jeditor.diff |
The diff package, allowing to present differences between two text files.
|
org.jeditor.gui |
The presentation package for managing scripts presentation and modification.
|
Modifier and Type | Field and Description |
---|---|
protected static CodeEditorDefaults |
FilePane.defaults |
Modifier and Type | Method and Description |
---|---|
static CodeEditorDefaults |
CodeEditorDefaults.getDefaults()
Returns a new CodeEditorDefaults object with the default values filled in.
|
Constructor and Description |
---|
CodeEditorDefaults(CodeEditorDefaults defaults) |
SyntaxTokenizer(java.lang.String syntax,
CodeEditorDefaults defaults)
Constructor.
|
Modifier and Type | Field and Description |
---|---|
protected CodeEditorDefaults |
JDiffTextPanel.defaults
The text editors default.
|
Modifier and Type | Method and Description |
---|---|
void |
JDiffTextPanel.setCodeEditorDefaults(CodeEditorDefaults defaults) |
void |
JDiffTextPanel.setStyles(CodeEditorDefaults defaults) |
Constructor and Description |
---|
JDiffTextPanel(java.util.List<java.lang.String> leftV,
java.util.List<java.lang.String> rightV,
CodeEditorDefaults defaults)
Constructor.
|
JDiffTextPanel(java.util.List<java.lang.String> leftV,
java.util.List<java.lang.String> rightV,
CodeEditorDefaults defaults,
short diffAlgorithm)
Constructor.
|
JDiffTextPanel(java.lang.Object[] leftO,
java.lang.Object[] rightO,
CodeEditorDefaults defaults)
Constructor.
|
JDiffTextPanel(java.lang.Object[] leftO,
java.lang.Object[] rightO,
CodeEditorDefaults defaults,
short diffAlgorithm)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
CodeEditorDefaults |
JEditor.getCodeEditorDefaults()
Return the CodeEditorDefaults.
|
Modifier and Type | Method and Description |
---|---|
void |
CodeEditorPainter.setDefaults(CodeEditorDefaults defaults) |
void |
Gutter.setDefaults(CodeEditorDefaults defaults)
Set the Gutter defaults.
|
void |
JEditor.setDefaults(CodeEditorDefaults defaults)
Set the CodeEditorDefaults.
|
Constructor and Description |
---|
CodeEditorPainter(JEditor editor,
CodeEditorDefaults defaults)
Creates a new repaint manager.
|
Gutter(JEditor editor,
CodeEditorDefaults defaults) |
JEditor(CodeEditorDefaults defaults)
Creates a new JEditTextArea with the specified settings.
|
Copyright © 2016, 2017, 2018, 2019, 2023 Herve Girod. All Rights Reserved. Documentation and source under the MIT licence