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