Package | Description |
---|---|
org.basex.gui.layout |
Project specific GUI components.
|
Modifier and Type | Method and Description |
---|---|
BaseXCheckBox |
BaseXCheckBox.bold()
Chooses a bold font.
|
BaseXCheckBox |
BaseXCheckBox.large()
Chooses a large font.
|
Copyright © 2005–2015 BaseX Team. All rights reserved.