Max Wu b67079d0ed Update to make editor have extra scroll padding in the bottom
that can scroll over editor lines and leave only one line on top of the editor

Signed-off-by: Max Wu <jackymaxj@gmail.com>
2020-06-01 23:08:45 +08:00
..
2019-11-01 16:47:41 +08:00
2020-02-06 14:31:25 +08:00
2020-02-05 18:34:03 +08:00