| Package | Description |
|---|---|
| org.basex.gui |
GUI Package.
|
| org.basex.gui.layout |
Project specific GUI components.
|
| Modifier and Type | Field and Description |
|---|---|
BaseXButton |
GUI.filter
Filter button.
|
| Modifier and Type | Method and Description |
|---|---|
BaseXButton |
BaseXButton.border(int t,
int l,
int b,
int r)
Sets the label borders.
|
static BaseXButton |
BaseXButton.command(GUICommand cmd,
GUI gui)
Creates a new image button for the specified command.
|