Package | Description |
---|---|
org.gjt.sp.jedit.buffer |
Buffer event listeners, and classes used to implement jEdit's document model.
|
org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
Modifier and Type | Class | Description |
---|---|---|
class |
KillRing |
The kill ring retains deleted text.
|
Modifier and Type | Class | Description |
---|---|---|
class |
HistoryModel |
A named history list
One history list can be used by several history text
fields.
|
Constructor | Description |
---|---|
PasteFromListDialog(java.lang.String name,
View view,
MutableListModel model) |