public interface TitleDockBorder extends DockBorder
BorderModifier
used by a DockTitle
.Modifier and Type | Field and Description |
---|---|
static Path |
KIND
the type of this
UIValue |
Modifier and Type | Method and Description |
---|---|
DockTitle |
getTitle()
Gets the title for which this border is used.
|