diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2021-07-08 17:27:32 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2021-07-08 17:27:32 +0800 |
commit | 3eff278428432a6e21ee71c1434d64390652bad9 (patch) | |
tree | 677299189d8d8047d57b39404c2dd036a1dc9c80 /locale/en-us/script.lua | |
parent | 812f57e1811b110e44f1b7064880ca8da9b2f328 (diff) | |
download | lua-language-server-3eff278428432a6e21ee71c1434d64390652bad9.zip |
locale
Diffstat (limited to 'locale/en-us/script.lua')
-rw-r--r-- | locale/en-us/script.lua | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/locale/en-us/script.lua b/locale/en-us/script.lua index 886f4d31..9844936d 100644 --- a/locale/en-us/script.lua +++ b/locale/en-us/script.lua @@ -233,3 +233,13 @@ WINDOW_CHECK_SEMANTIC = 'If you are using the color theme in the mark WINDOW_TELEMETRY_HINT = 'Please allow sending anonymous usage data and error reports to help us further improve this extension. Read our privacy policy [here](https://github.com/sumneko/lua-language-server/wiki/Privacy-Policy) .' WINDOW_TELEMETRY_ENABLE = 'Allow' WINDOW_TELEMETRY_DISABLE = 'Prohibit' +WINDOW_CLIENT_NOT_SUPPORT_CONFIG = 'Your client does not support modifying settings from the server side, please manually modify the following settings:' +WINDOW_MANUAL_CONFIG_ADD = '`{key}`: add element `{value:q}` ;' +WINDOW_MANUAL_CONFIG_SET = '`{key}`: set to `{value:q}` ;' +WINDOW_APPLY_WHIT_SETTING = 'Apply and modify settings' +WINDOW_APPLY_WHITOUT_SETTING = 'Apply but do not modify settings' +WINDOW_ASK_APPLY_LIBRARY = 'Do you need to configure your work environment as `{}`?' + +CONFIG_LOAD_FAILED = 'Unable to read the settings file: {}' +CONFIG_LOAD_ERROR = 'Setting file loading error: {}' +CONFIG_TYPE_ERROR = 'The setting file must be in lua or json format: {}' |