Giters

as / a

A graphical text editor

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

a: edit: doesn't scroll

as opened this issue · comments

commented

Running an address-changing edit command should scroll the window if necessary to get to the new dot.