From 8751c2ed8db6bfb6d61912aa60bb244b87226ebe Mon Sep 17 00:00:00 2001 From: Jack Cherng Date: Thu, 13 Apr 2023 14:55:56 +0800 Subject: [PATCH] chore: update marksman to version 2023-04-12 (#14) --- LSP-marksman.sublime-settings | 5 +++++ plugin.py | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/LSP-marksman.sublime-settings b/LSP-marksman.sublime-settings index 34eec69..8a4a742 100644 --- a/LSP-marksman.sublime-settings +++ b/LSP-marksman.sublime-settings @@ -1,4 +1,9 @@ { "command": ["${storage_path}/LSP-marksman/bin/${marksman_bin}"], "selector": "text.html.markdown", + "initializationOptions": { + // How text is synced between this client and the server. + // 1=full, 2=incremental + "preferredTextSyncKind": 2, + }, } diff --git a/plugin.py b/plugin.py index bfc7ba9..9532814 100644 --- a/plugin.py +++ b/plugin.py @@ -6,7 +6,7 @@ import urllib.request -MARKSMAN_TAG = '2023-03-04' +MARKSMAN_TAG = '2023-04-12' MARKSMAN_RELEASES_BASE = 'https://github.com/artempyanykh/marksman/releases/download/{tag}/{platform}' USER_AGENT = 'Sublime Text LSP'