fix(web): refit xterm.js once IBM Plex Mono finishes loading#275

konard wants to merge 3 commits into

ProverCoderAI:mainProverCoderAI/docker-git:mainfrom

konard:issue-273-9cd9a74cd446konard/ProverCoderAI-docker-git:issue-273-9cd9a74cd446Copy head branch name to clipboard