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 and Description |
---|---|
class |
KillRing
The kill ring retains deleted text.
|
Modifier and Type | Class and Description |
---|---|
class |
HistoryModel
A named history list
One history list can be used by several history text
fields.
|
Constructor and Description |
---|
PasteFromListDialog(java.lang.String name,
View view,
MutableListModel<java.lang.String> model) |