hendrik/lens
1
0
Fork 0
mirror of https://github.com/lensapp/lens.git synced 2025-05-20 05:10:56 +00:00
Code Issues Projects Releases Wiki Activity

workspace edit fixes

Browse Source 
Signed-off-by: Jari Kolehmainen <jari.kolehmainen@gmail.com>
This commit is contained in:
Jari Kolehmainen 2021-01-26 18:04:33 +02:00
parent 089d928cb3
commit 28c8946324
2 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/renderer/components/+workspaces/edit-workspace.tsx
View File

@ -1,6 +1,6 @@
import React from "react"; import React from "react";
import { observer } from "mobx-react"; import { observer } from "mobx-react";
import { workspaceStore } from "../../../common/workspace-store"; import { WorkspaceStore, workspaceStore } from "../../../common/workspace-store";
import { commandRegistry } from "../../../extensions/registries/command-registry"; import { commandRegistry } from "../../../extensions/registries/command-registry";
import { Input, InputValidator } from "../input"; import { Input, InputValidator } from "../input";
import { CommandOverlay } from "../command-palette/command-container"; import { CommandOverlay } from "../command-palette/command-container";
@ -75,7 +75,8 @@ export class EditWorkspace extends React.Component<{}, EditWorkspaceState> {
commandRegistry.add({ commandRegistry.add({
id: "workspace.editCurrentWorkspace", id: "workspace.editCurrentWorkspace",
title: "Workspace: Edit current workspace...", title: "Workspace: Edit current workspace ...",
scope: "global", scope: "global",
action: () => CommandOverlay.open(<EditWorkspace />) action: () => CommandOverlay.open(<EditWorkspace />),
isActive: (context) => context.workspace?.id !== WorkspaceStore.defaultId
}); });

6
src/renderer/components/+workspaces/workspaces.tsx
View File

@ -1,7 +1,7 @@
import React from "react"; import React from "react";
import { observer } from "mobx-react"; import { observer } from "mobx-react";
import { computed} from "mobx"; import { computed} from "mobx";
import { workspaceStore } from "../../../common/workspace-store"; import { WorkspaceStore, workspaceStore } from "../../../common/workspace-store";
import { commandRegistry } from "../../../extensions/registries/command-registry"; import { commandRegistry } from "../../../extensions/registries/command-registry";
import { Select } from "../select"; import { Select } from "../select";
import { navigate } from "../../navigation"; import { navigate } from "../../navigation";
@ -25,6 +25,10 @@ export class ChooseWorkspace extends React.Component {
if (options.length > 1) { if (options.length > 1) {
options.push({ value: ChooseWorkspace.removeActionId, label: "Remove workspace ..." }); options.push({ value: ChooseWorkspace.removeActionId, label: "Remove workspace ..." });
if (workspaceStore.currentWorkspace.id !== WorkspaceStore.defaultId) {
options.push({ value: ChooseWorkspace.editActionId, label: "Edit current workspace ..." });
}
} }
return options; return options;