Closed
Description
When using terminals on gitpod.io, sometimes the rendering of terminals is broken, and looks like this:
(Notice the blank areas. Sometimes it shows gobbled characters instead)
When selecting some text in the terminal, it renders correctly though, so the buffer itself seems fine.
This problem is sticky to the tab:
- reload does not help, nor does stop/starting the workspace
- closing the tab, and opening the same (running) workspace in a fresh tab fixes it ✔️
Happy to provide more input, but not sure what would help in this case! 🙏
Potentially related: #3600
Details
- Browser and browser version: Firefox 112.0 (64-bit)
- OS version: Linux Mint 20.3 Cinnamon / 5.4.0-144-generic
- xterm.js version: how to obtain?
- VSCode version: 1.77.3
Steps to reproduce
- Start some workspaces on gitpod.io, using "VSCode Browser"
- Repeat until you hit one with broken terminals (seems to be around a 10% chance)