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) |