diff options
author | Rindbee <idleman@yeah.net> | 2022-09-25 23:13:39 +0800 |
---|---|---|
committer | Rindbee <idleman@yeah.net> | 2022-09-25 23:30:35 +0800 |
commit | 412e87349a6f1c4f8989459d7a8c7f3a028833a4 (patch) | |
tree | 9dfecf593edb43ce8b066243f038b36591b82ac2 /modules/text_server_adv/config.py | |
parent | 15ac442247b2b45ae0e2900d18f26e5b82e6c011 (diff) |
Fix out of sync when the script is edited externally via lsp
Previously, external editing via lsp would modify the modified time of the script,
which caused the internal display of the script to not be refreshed when refocusing
the engine.
Now saving the script externally via lsp will automatically refresh the internal
display.
Diffstat (limited to 'modules/text_server_adv/config.py')
0 files changed, 0 insertions, 0 deletions