Bug: Border radius has infected VSCode editor

A bug has been reported in the Visual Studio Code editor, affecting the border radius of some UI elements. The issue, raised in a GitHub issue, has 28 points and 11 comments. The bug causes the border radius of certain UI elements to be set to 0, resulting in a distorted appearance. The affected elements appear to be the editor's scrollbar and the tab bar. The bug is not specific to a particular theme, but rather a general issue with the editor's rendering. The issue has been open since 2022-10-04, and no patch or fix has been released yet.