Web: a finished save repaints, so the title drops its unsaved mark (#2397)

This commit is contained in:
Bruno-Alumn
2026-10-21 11:58:16 +00:00
parent 8ef46aa088
commit 45f61ef5ef
+2
View File
@@ -270,6 +270,8 @@ async fn flush(files: Files, backend: Backend, dir: String, flushing: Rc<Cell<bo
}
}
flushing.set(false);
// the page title drops its unsaved • now, even when nothing else wakes the page
request_repaint();
}
/// Everything loaded before the UI starts.