Merge branch 'obsd-master'

2026-06-20 17:25:57 +00:00 · 2026-06-19 20:00:06 +01:00
parent e7c29d0ceb 047f61aad6
commit 72e768ef14
7 changed files with 295 additions and 156 deletions
--- a/server.c
+++ b/server.c
@@ -498,6 +498,7 @@ server_child_exited(pid_t pid, int status)
 				wp->flags |= PANE_EXITED;

 				window_pane_wait_finish(wp);
+				spawn_editor_finish(wp);

 				if (window_pane_destroy_ready(wp))
 					server_destroy_pane(wp, 1);