mirror of
https://github.com/microsoft/pyright.git
synced 2024-10-05 20:38:25 +03:00
Removed period from output message for consistency.
This commit is contained in:
parent
69dcfc5725
commit
e873d32c16
@ -117,7 +117,7 @@ _documents.onDidChangeContent(change => {
|
||||
});
|
||||
|
||||
_connection.onDidChangeConfiguration(change => {
|
||||
_connection.console.log(`Received updated settings.`);
|
||||
_connection.console.log(`Received updated settings`);
|
||||
updateOptionsAndRestartService(change.settings);
|
||||
});
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user