Package | Description |
---|---|
org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
Constructor and Description |
---|
GrabKeyDialog(java.awt.Dialog parent,
GrabKeyDialog.KeyBinding binding,
java.util.List<GrabKeyDialog.KeyBinding> allBindings,
Buffer debugBuffer)
Create and show a new modal dialog.
|
GrabKeyDialog(java.awt.Frame parent,
GrabKeyDialog.KeyBinding binding,
java.util.List<GrabKeyDialog.KeyBinding> allBindings,
Buffer debugBuffer)
Create and show a new modal dialog.
|
Constructor and Description |
---|
GrabKeyDialog(java.awt.Dialog parent,
GrabKeyDialog.KeyBinding binding,
java.util.List<GrabKeyDialog.KeyBinding> allBindings,
Buffer debugBuffer)
Create and show a new modal dialog.
|
GrabKeyDialog(java.awt.Frame parent,
GrabKeyDialog.KeyBinding binding,
java.util.List<GrabKeyDialog.KeyBinding> allBindings,
Buffer debugBuffer)
Create and show a new modal dialog.
|