Describe the bug
When running the visual debugger using either ./run-tests.py .. --debug ... or ./run-tests.py .. --start-viz ... the display is very small and cannot be resized.
Screenshots

Environment
- OS: Arch Linux
- Window manager: XMonad
- JDK (output of
java --version): openjdk 17.0.6 2023-01-17