zed replace window
This commit is contained in:
parent
305b4f986b
commit
cb39f65841
2 changed files with 14 additions and 0 deletions
13
files/zed-replace-window.patch
Normal file
13
files/zed-replace-window.patch
Normal file
|
@ -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()
|
||||||
|
{
|
|
@ -33,6 +33,7 @@
|
||||||
zed-editor = (inputs.zed.packages.${system}.zed-editor.overrideAttrs {
|
zed-editor = (inputs.zed.packages.${system}.zed-editor.overrideAttrs {
|
||||||
patches = [
|
patches = [
|
||||||
../files/zed-no-rounded-corners.patch
|
../files/zed-no-rounded-corners.patch
|
||||||
|
../files/zed-replace-window.patch
|
||||||
];
|
];
|
||||||
});
|
});
|
||||||
})
|
})
|
||||||
|
|
Loading…
Reference in a new issue