Package | Description |
---|---|
org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
Constructor | 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 | 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.
|