public class WindowBorder extends java.lang.Object implements Border<GuiOutputManager>
| Modifier and Type | Field and Description |
|---|---|
private CoordinatesConversion |
cc
Cached coordinates conversion support.
|
private GuiDriver<?,?> |
gd
Cached driver.
|
private NativeInsets |
ninsets
The border size on each side.
|
| Modifier | Constructor and Description |
|---|---|
private |
WindowBorder(NativeInsets ins)
Default constructor.
|
| Modifier and Type | Method and Description |
|---|---|
static Border<GuiOutputManager> |
createModalWindowBorder()
Creates modal window border.
|
static Border<GuiOutputManager> |
createWindowBorder()
Creates main window border.
|
void |
drawBorder(Widget<GuiOutputManager> widget,
Dimension size)
Draw border.
|
Insets |
insets()
Get insets introduced by the border.
|
private final NativeInsets ninsets
private GuiDriver<?,?> gd
private CoordinatesConversion cc
private WindowBorder(NativeInsets ins)
ins - Border sizes.public static Border<GuiOutputManager> createWindowBorder()
public static Border<GuiOutputManager> createModalWindowBorder()
public Insets insets()
insets in interface Border<GuiOutputManager>public void drawBorder(Widget<GuiOutputManager> widget, Dimension size)
drawBorder in interface Border<GuiOutputManager>widget - Base widget.size - Border dimensions.