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