Hide WebSocket Terminal button on incompatible servers (requires Server Manager 3.4.2+)

gjsjohnmurray · gjsjohnmurray · commit d342446d13e1 · 2023-08-10T08:20:41.000+01:00
diff --git a/package.json b/package.json
@@ -457,7 +457,7 @@
         },
         {
           "command": "vscode-objectscript.intersystems-servermanager.webterminal",
-          "when": "view == intersystems-community_servermanager && viewItem =~ /namespace$/",
+          "when": "view == intersystems-community_servermanager && viewItem =~ /namespace$/ && (viewItem > 6 || !(viewItem =~ /^\\d+/))",
           "group": "inline@1"
         }
       ],

Original file line number	Diff line number	Diff line change
`@@ -457,7 +457,7 @@`
`457`	`457`	`},`
`458`	`458`	`{`
`459`	`459`	`"command": "vscode-objectscript.intersystems-servermanager.webterminal",`
`460`		`- "when": "view == intersystems-community_servermanager && viewItem =~ /namespace$/",`
	`460`	`+ "when": "view == intersystems-community_servermanager && viewItem =~ /namespace$/ && (viewItem > 6 \|\| !(viewItem =~ /^\\d+/))",`
`461`	`461`	`"group": "inline@1"`
`462`	`462`	`}`
`463`	`463`	`],`