[red-knot] Add missing space between error message and lint code in playground (#16840)

This commit is contained in:
InSync 2025-03-19 17:10:59 +07:00 committed by GitHub
parent 81759be14b
commit 15a6aeb998
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -88,7 +88,7 @@ function Items({
>
{diagnostic.message()}
<span className="text-gray-500">
{id != null && `(${id})`} [Ln {startLine}, Col {startColumn}]
{id != null && ` (${id})`} [Ln {startLine}, Col {startColumn}]
</span>
</button>
</li>