diff --git a/server/darwin/rescript-editor-support.exe b/server/darwin/rescript-editor-support.exe index c68538ff8..4baa10866 100755 Binary files a/server/darwin/rescript-editor-support.exe and b/server/darwin/rescript-editor-support.exe differ diff --git a/server/linux/rescript-editor-support.exe b/server/linux/rescript-editor-support.exe index 95479e08e..f96a9373f 100755 Binary files a/server/linux/rescript-editor-support.exe and b/server/linux/rescript-editor-support.exe differ diff --git a/server/src/server.ts b/server/src/server.ts index 175a98816..f6673703b 100644 --- a/server/src/server.ts +++ b/server/src/server.ts @@ -280,7 +280,7 @@ process.on("message", (msg: m.Message) => { hoverProvider: binaryExists, definitionProvider: binaryExists, completionProvider: binaryExists - ? { triggerCharacters: ["."] } + ? { triggerCharacters: [".", ">", "@", "~"] } : undefined, }, }; diff --git a/server/win32/rescript-editor-support.exe b/server/win32/rescript-editor-support.exe index f3f08fbf1..f9ad885ed 100755 Binary files a/server/win32/rescript-editor-support.exe and b/server/win32/rescript-editor-support.exe differ