diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2023-02-02 20:08:26 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2023-02-02 20:08:26 +0800 |
commit | ba1e8c4ce8c4d128cef76895ae7877889ad34921 (patch) | |
tree | 98395c7a0c32016704335e0f57964ccec50a9d79 /locale/en-us/script.lua | |
parent | 9b45b621342c0205a503c63cc2706c1a8cf9175c (diff) | |
download | lua-language-server-ba1e8c4ce8c4d128cef76895ae7877889ad34921.zip |
improve checking for modifying config
#1859
Diffstat (limited to 'locale/en-us/script.lua')
-rw-r--r-- | locale/en-us/script.lua | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/locale/en-us/script.lua b/locale/en-us/script.lua index 2937d80a..f0f48a5d 100644 --- a/locale/en-us/script.lua +++ b/locale/en-us/script.lua @@ -568,6 +568,22 @@ CONFIG_TYPE_ERROR = 'The setting file must be in lua or json format: {}' CONFIG_MODIFY_FAIL_SYNTAX_ERROR = 'Failed to modify settings, there are syntax errors in the settings file: {}' +CONFIG_MODIFY_FAIL_NO_WORKSPACE = +[[ +Failed to modify settings: +* The current mode is single-file mode, server cannot create `.luarc.json` without workspace. +* The language client dose not support modifying settings from the server side. + +Please modify following settings manually: +{} +]] +CONFIG_MODIFY_FAIL = +[[ +Failed to modify settings + +Please modify following settings manually: +{} +]] PLUGIN_RUNTIME_ERROR = [[ |