Package | Description |
---|---|
org.gjt.sp.jedit.print |
Printing.
|
org.gjt.sp.jedit.textarea |
Classes related to jEdit's TextArea.
|
Modifier and Type | Class and Description |
---|---|
class |
PageBreakExtension
Draws a line across the text area indicating where a printing page break
would be.
|
Modifier and Type | Class and Description |
---|---|
static class |
StructureMatcher.Highlight
Paints the structure match highlight.
|
Modifier and Type | Method and Description |
---|---|
TextAreaExtension[] |
Gutter.getExtensions()
Returns an array of registered text area extensions.
|
TextAreaExtension[] |
TextAreaPainter.getExtensions()
Returns an array of registered text area extensions.
|
Modifier and Type | Method and Description |
---|---|
void |
Gutter.addExtension(int layer,
TextAreaExtension extension)
Adds a text area extension, which can perform custom painting and
tool tip handling.
|
void |
TextAreaPainter.addExtension(int layer,
TextAreaExtension extension)
Adds a text area extension, which can perform custom painting and
tool tip handling.
|
void |
Gutter.addExtension(TextAreaExtension extension)
Adds a text area extension, which can perform custom painting and
tool tip handling.
|
void |
TextAreaPainter.addExtension(TextAreaExtension extension)
Adds a text area extension, which can perform custom painting and
tool tip handling.
|
void |
Gutter.removeExtension(TextAreaExtension extension)
Removes a text area extension.
|
void |
TextAreaPainter.removeExtension(TextAreaExtension extension)
Removes a text area extension.
|