Border left too much space when `"editor.lineNumbers": "off"`.  ---- Version: 1.79.2 Commit: 695af097c7bd098fbf017ce3ac85e09bbc5dda06 User Agent: Mozilla/5.0 (X11; Linux x86_64; rv:109.0) Gecko/20100101 Firefox/115.0 Embedder: vscode.dev <!-- generated by web issue reporter -->