diff options
| author | blasty <blasty@local> | 2026-07-23 22:19:03 +0200 |
|---|---|---|
| committer | blasty <blasty@local> | 2026-07-23 22:19:03 +0200 |
| commit | e7438b9d06c1d92398ba6535d9f115ada26ea875 (patch) | |
| tree | d1d46ffc7770d371e7d1f46711a617001c7b5b06 /server/patch_server.py | |
| parent | listing: keep a few lines of context above a jump target (diff) | |
| download | ida-tui-e7438b9d06c1d92398ba6535d9f115ada26ea875.tar.gz ida-tui-e7438b9d06c1d92398ba6535d9f115ada26ea875.tar.xz ida-tui-e7438b9d06c1d92398ba6535d9f115ada26ea875.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