mirror of
https://github.com/hexedtech/codemp-vscode.git
synced 2024-11-25 17:04:48 +01:00
feat: don't show join button on viewtree if you already joined another workspace
This commit is contained in:
parent
e4b740f6d4
commit
9fd0b7e732
2 changed files with 20 additions and 20 deletions
|
@ -74,7 +74,7 @@
|
||||||
"view/item/context": [
|
"view/item/context": [
|
||||||
{
|
{
|
||||||
"command": "codemp.join",
|
"command": "codemp.join",
|
||||||
"when": "view == codemp-tree-view && viewItem == workspace",
|
"when": "view == codemp-tree-view && viewItem == workspace_active",
|
||||||
"group": "inline"
|
"group": "inline"
|
||||||
},
|
},
|
||||||
{
|
{
|
||||||
|
|
|
@ -62,7 +62,7 @@ export class CodempTreeProvider implements vscode.TreeDataProvider<CodempTreeIte
|
||||||
return out;
|
return out;
|
||||||
}
|
}
|
||||||
let items = workspace_list.map((x) =>
|
let items = workspace_list.map((x) =>
|
||||||
new CodempTreeItem(x, Type.Workspace, true, workspace !== null && workspace.id() == x)
|
new CodempTreeItem(x, Type.Workspace, true, workspace === null)
|
||||||
);
|
);
|
||||||
items.push(new CodempTreeItem("", Type.Placeholder, false));
|
items.push(new CodempTreeItem("", Type.Placeholder, false));
|
||||||
items.push(new CodempTreeItem("<Users>", Type.UserList, true));
|
items.push(new CodempTreeItem("<Users>", Type.UserList, true));
|
||||||
|
|
Loading…
Reference in a new issue