rust-playground icon indicating copy to clipboard operation
rust-playground copied to clipboard

Published 20 hours ago • verified publisher icon rust-lang

Scroll past the end

Open ibraheemdev opened this issue 4 years ago • 1 comments

It would be nice if you could scroll past the end of the editor. This is a common feature on most text editors. I'm not sure how difficult it would be to implement, but it would be a nice touch.

ibraheemdev avatar Feb 07 '21 03:02 ibraheemdev

Implementation will require adding scrollPastEnd: 0.5 here which will allow to scroll half page past the end.

nightwing avatar Apr 09 '21 13:04 nightwing