Set window edited

2023-12-19 10:26:06 +01:00
parent 4b74f30d0a
commit ba0d7e35bb
2 changed files with 5 additions and 2 deletions
@@ -2520,8 +2520,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!()
-            // cx.set_window_edited(self.window_edited)
+            cx.set_window_edited(self.window_edited)
        }
    }