| public WindowSettings | | withSize(int width, int height) | | withSize(int width, int height) | | method_66512(int arg0, int arg1) | | withDimensions(int width, int height) |
|
| public WindowSettings | | withFullscreen(boolean isFullscreen) | | withFullscreen(boolean isFullscreen) | | method_66513(boolean arg0) | | withFullscreen(boolean fullscreen) |
|
| public int | | width() | | width() | | comp_3494() | | width() |
|
| public int | | height() | | height() | | comp_3495() | | height() |
|
| public OptionalInt | | fullscreenWidth() | | fullscreenWidth() | | comp_3496() | | fullscreenWidth() |
|
| public OptionalInt | | fullscreenHeight() | | fullscreenHeight() | | comp_3497() | | fullscreenHeight() |
|
| public boolean | | isFullscreen() | | isFullscreen() | | comp_3498() | | fullscreen() |
|