diff options
author | Narazaki Shuji | 2022-12-06 02:16:08 +0000 |
---|---|---|
committer | GitHub | 2022-12-06 02:16:08 +0000 |
commit | 453a75a3739338348024b6c676231aef9ef6cb7b (patch) | |
tree | bf7d60723458b34d706f3b5a66263f267b4acba6 /runtime/queries/solidity | |
parent | 952f292d252bdc135f10b1ffa52734d5242d2c60 (diff) |
fix: align view after jumplist_picker (#3743)
* Add `View::ensure_cursor_in_view_center` to adjust view after searching and jumping
Also `offset_coodrs_to_in_view` was refactored to reduce duplicated position calculations.
* Fix a wrong offset calculation in `offset_coords_to_in_view_center`
It ignored `scrolloff` if `centering` is false.
Diffstat (limited to 'runtime/queries/solidity')
0 files changed, 0 insertions, 0 deletions