Commit 22385a1dd2ed2b43ec61ba454d0b5d2317153cd6 | snowbound

author	clover caruso <git@paperclover.net> 2026-10-10 19:43:04-07:00
committer	clover caruso <git@paperclover.net> 2026-10-10 22:56:05-07:00
log	22385a1dd2ed2b43ec61ba454d0b5d2317153cd6
tree	0ed4f2b12ca61bcd7f7ca7decc0c978d277ad866
parent	8dcd2f78650d5b4ebd9d18efaf37e73583c54de9
signature	Signed by SSH key SHA256:52mNGHRsVFBDED9IAX5pe+LRWUefqTbxEReunq21QvU (~clover)

fix: retain the visible page while redirecting stale opens

Reconcile a loaded section against the latest notebook catalog before parking
the visible page scene or ending its recording. When a deleted section redirects
to a surviving one, the current page remains drawable until that replacement
actually opens.

Fixes #109
Assisted-by: gpt-6.1-sol

1 files changed, 30 insertions(+), 29 deletions(-)

crates
- snowbound
  - src
    main.rs

crates/snowbound/src/main.rs+30-29

 @@ -3847,6 +3847,35 @@ impl State {
         }
         lap("switch pictures", opening.since);
         let requested = opening.requested;
+        if let Shown::Section(session) | Shown::Created(session) = &mut opening.loaded
+            && let Some(library) = self
+                .notebooks
+                .iter()
+                .find(|listed| {
+                    listed.location == session.library.location
+                        && Arc::ptr_eq(&listed.structure, &session.library.structure)
+                        && !Arc::ptr_eq(listed, &session.library)
+                })
+                .cloned()
+        {
+            let identity = session
+                .library
+                .section_identity(&session.tabs[session.tab].path);
+            let path = library.catalog().and_then(|catalog| {
+                catalog
+                    .sections()
+                    .find(|section| Some(section.file_id) == identity)
+                    .map(|section| section.path.clone())
+            });
+            if let Some(path) = path {
+                session.follow(library, &path)?;
+            } else if let Some(path) = library.first_section() {
+                return self.apply(Command::OpenSection(library, path));
+            } else {
+                self.switching = None;
+                return self.adopt(library, None);
+            }
+        }
         // A recording goes on the page it started on.
         self.stop_recording(true)?;
         // The page shown so far keeps what was typed while the next one loaded.
 @@ -3869,35 +3898,7 @@ impl State {
         }
         let created = matches!(opening.loaded, Shown::Created(_));
         match opening.loaded {
-            Shown::Section(mut session) | Shown::Created(mut session) => {
+            Shown::Section(session) | Shown::Created(session) => {
-                if let Some(library) = self
-                    .notebooks
-                    .iter()
-                    .find(|listed| {
-                        listed.location == session.library.location
-                            && Arc::ptr_eq(&listed.structure, &session.library.structure)
-                            && !Arc::ptr_eq(listed, &session.library)
-                    })
-                    .cloned()
-                {
-                    let identity = session
-                        .library
-                        .section_identity(&session.tabs[session.tab].path);
-                    let path = library.catalog().and_then(|catalog| {
-                        catalog
-                            .sections()
-                            .find(|section| Some(section.file_id) == identity)
-                            .map(|section| section.path.clone())
-                    });
-                    if let Some(path) = path {
-                        session.follow(library, &path)?;
-                    } else if let Some(path) = library.first_section() {
-                        return self.apply(Command::OpenSection(library, path));
-                    } else {
-                        self.switching = None;
-                        return self.adopt(library, None);
-                    }
-                }
                 // The settings keep the notebook shown, not the section.
                 let other_notebook = self
                     .session