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
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
java --version): openjdk 17.0.6 2023-01-17