fix for proper window resizing in the JavaFX client