From cb39f658419b4d301eeb7c373a3fa7a33bac3c71 Mon Sep 17 00:00:00 2001 From: krizej Date: Thu, 3 Oct 2024 18:02:53 +0200 Subject: [PATCH] zed replace window --- files/zed-replace-window.patch | 13 +++++++++++++ pkgs/default.nix | 1 + 2 files changed, 14 insertions(+) create mode 100644 files/zed-replace-window.patch diff --git a/files/zed-replace-window.patch b/files/zed-replace-window.patch new file mode 100644 index 0000000..fb11b79 --- /dev/null +++ b/files/zed-replace-window.patch @@ -0,0 +1,13 @@ +diff --git a/crates/workspace/src/workspace.rs b/crates/workspace/src/workspace.rs +index cec913851f..f5c84ca593 100644 +--- a/crates/workspace/src/workspace.rs ++++ b/crates/workspace/src/workspace.rs +@@ -1906,7 +1906,7 @@ impl Workspace { + + if let Some(task) = this + .update(&mut cx, |this, cx| { +- this.open_workspace_for_paths(false, paths, cx) ++ this.open_workspace_for_paths(true, paths, cx) + }) + .log_err() + { diff --git a/pkgs/default.nix b/pkgs/default.nix index 99e5508..b1589b6 100644 --- a/pkgs/default.nix +++ b/pkgs/default.nix @@ -33,6 +33,7 @@ zed-editor = (inputs.zed.packages.${system}.zed-editor.overrideAttrs { patches = [ ../files/zed-no-rounded-corners.patch + ../files/zed-replace-window.patch ]; }); })