Restart the app after updates if the updater didn't do it for us (#4511)

2026-08-25 00:55:25 +00:00 · 2025-10-06 22:20:09 +00:00
parent 9589e23118
commit 7658e1c653
2 changed files with 3 additions and 1 deletions
@@ -278,6 +278,7 @@ fn main() {
                                .show()
                                .unwrap();
                        }
+                        app.restart();
                    }
                }