Skip to content

Fix bug where highlighting is not kept when the file has a type error… #8190

Fix bug where highlighting is not kept when the file has a type error…

Fix bug where highlighting is not kept when the file has a type error… #8190