Update _workspace.py

This commit is contained in:
Roman Trapeznikov 2022-07-04 11:12:06 +03:00 committed by GitHub
parent 702dc59a5f
commit d58ab12bc4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -115,7 +115,7 @@ class WorkspaceSubsystem:
tpartial(
self._errmsg,
Lstr(resource='workspaceSyncReuseText',
subs=[('$WORKSPACE', workspacename)])),
subs=[('${WORKSPACE}', workspacename)])),
from_other_thread=True,
)