Disable server restart command with devkit

dibarbet · dibarbet · commit c809a50da36a · 2024-11-01T16:19:54.000-07:00
diff --git a/package.json b/package.json
@@ -1898,7 +1898,7 @@
         "command": "dotnet.restartServer",
         "title": "%command.dotnet.restartServer%",
         "category": ".NET",
-        "enablement": "dotnet.server.activationContext != 'OmniSharp'"
+        "enablement": "dotnet.server.activationContext == 'Roslyn'"
       }
     ],
     "keybindings": [

Original file line number	Diff line number	Diff line change
`@@ -1898,7 +1898,7 @@`
`1898`	`1898`	`"command": "dotnet.restartServer",`
`1899`	`1899`	`"title": "%command.dotnet.restartServer%",`
`1900`	`1900`	`"category": ".NET",`
`1901`		`- "enablement": "dotnet.server.activationContext != 'OmniSharp'"`
	`1901`	`+ "enablement": "dotnet.server.activationContext == 'Roslyn'"`
`1902`	`1902`	`}`
`1903`	`1903`	`],`
`1904`	`1904`	`"keybindings": [`