diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2021-07-21 15:39:20 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2021-07-21 15:39:20 +0800 |
commit | 93d606f64785abba414f332f751a43eb56464c41 (patch) | |
tree | 7a9f69e1f680618d70d907347cacf7be11dd39fd /locale/en-us/script.lua | |
parent | f25d34705e62abbef53d4975230f4a26834e7e55 (diff) | |
download | lua-language-server-93d606f64785abba414f332f751a43eb56464c41.zip |
friendly plugin error
Diffstat (limited to 'locale/en-us/script.lua')
-rw-r--r-- | locale/en-us/script.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/locale/en-us/script.lua b/locale/en-us/script.lua index 41bcc715..2125ee0c 100644 --- a/locale/en-us/script.lua +++ b/locale/en-us/script.lua @@ -245,3 +245,9 @@ WINDOW_ASK_APPLY_LIBRARY = 'Do you need to configure your work environme 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: {}' + +PLUGIN_RUNTIME_ERROR = [[ +An error occurred in the plugin, please report it to the plugin author. +Please check the details in the output or log. +Plugin path: {} +]] |