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.