Merge branch 'main' into picker

2023-11-07 16:57:47 -08:00
parent ea603401e2 bcc92e9c4e
commit bdec1c8202
7 changed files with 672 additions and 540 deletions
@@ -2694,7 +2694,7 @@ impl Workspace {
                .any(|item| item.has_conflict(cx) || item.is_dirty(cx));
        if is_edited != self.window_edited {
            self.window_edited = is_edited;
-            todo!()
+            // todo!()
            // cx.set_window_edited(self.window_edited)
        }
    }