diff options
| author | blasty <peter@haxx.in> | 2026-07-23 22:19:03 +0200 |
|---|---|---|
| committer | blasty <peter@haxx.in> | 2026-07-23 22:19:03 +0200 |
| commit | 7f6f9cc038e45dbfa53a3ca5d8c699f1f659d493 (patch) | |
| tree | dc1e6ec6a39e28541f3e4c0c2df74a8a5d4e9464 /server/patch_server.py | |
| parent | listing: keep a few lines of context above a jump target (diff) | |
| download | ida-tui-7f6f9cc038e45dbfa53a3ca5d8c699f1f659d493.tar.gz ida-tui-7f6f9cc038e45dbfa53a3ca5d8c699f1f659d493.tar.xz ida-tui-7f6f9cc038e45dbfa53a3ca5d8c699f1f659d493.zip | |
listing: on-screen jumps just move the cursor, don't re-scroll
Extend the jump-context behaviour: if the target is already visible in the
current viewport (same listing model, cursor index within [top, top+height)),
leave the scroll offset untouched and only move the cursor to the target. Only
off-screen jumps re-scroll (target parked _JUMP_CONTEXT lines below the top).
Verified: an in-viewport jump keeps scroll_top constant while moving the cursor
onto the target; off-screen jumps still get the 4-line context margin.
scroll_restore/disasm_nav/follow_xrefs/xref_labels/mouse/search/listing_view/
continuous_view/func_banners 54/0.
Diffstat (limited to 'server/patch_server.py')
0 files changed, 0 insertions, 0 deletions