A graphical text editor
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
as opened this issue 6 years ago · comments
{<--- click here }
Have: selection only refreshing halfway through Want: selection refreshing the entire selection