| Package | Description |
|---|---|
| org.gjt.sp.jedit.buffer |
Buffer event listeners, and classes used to implement jEdit's document model.
|
| Modifier and Type | Method and Description |
|---|---|
static KillRing |
KillRing.getInstance() |
| Modifier and Type | Method and Description |
|---|---|
static void |
KillRing.setInstance(KillRing killRing) |