chiark / gitweb /
Editor: scroll to keep the cursor in view.
authorSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 20:20:55 +0000 (20:20 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 20:20:55 +0000 (20:20 +0000)
commit6fd276853f217a35a35a875c5c4a74f08fe04674
tree22092f5a26c89510b77272dc3504db5837452fb5
parent5669616216fd55da5c1e2f89598890de00a97533
Editor: scroll to keep the cursor in view.
src/editor.rs