language-servers/egglog-language-server
1
0
Fork 0
mirror of https://github.com/hatoo/egglog-language-server.git synced 2025-12-23 04:36:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

release mode default

Browse source
This commit is contained in:
hatoo 2023-08-24 14:15:30 +09:00
parent ea4bf90251
commit bb1d0382ce
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
extension.js
View file

@ -7,9 +7,13 @@ let client;
function activate(context) {
try {
const serverOptions = {
path: context.extensionPath,
command: "cargo",
args: ["run", "--manifest-path", context.extensionPath + "/Cargo.toml"],
args: [
"run",
"--release",
"--manifest-path",
context.extensionPath + "/Cargo.toml",
],
};
const clientOptions = {
documentSelector: [