Allow scrolling past document end

[twiss]

Split out from #201.

It isn't very pleasant to type near the bottom of the screen all the time. Word processors solve this by dividing documents into pages, allowing you to scroll to the bottom of the current page. Some text editors (Sublime Text) solve this by allowing you to scroll one screen height past the end of the file. Line numbers indicate where the document stops.

Maybe it's an idea to increase the padding-bottom by more than 55px, and then add a visual indicator of the borders of the document? (E.g. a real border, or make the padding a different color, light grey or so.) OTOH, that'd make it less WYSIWYG.

Thoughts?

[ferndot]

@twiss are you talking about desktop or mobile?

[twiss]

Both.

[ferndot]

I would advise a small, darker, bottom border on mobile. On desktop, we could put the border on all sides.

[twiss]

There are basically two ways to do the actual scrolling past the document end (let's make this issue about that): with a correct scrollbar or with an unchanging scrollbar. Correct scrollbar is what Ace does: http://ace.c9.io/build/kitchen-sink.html. With an unchanging scrollbar is what Sublime Text does. On mobile it doesn't matter visually, but scrolling behavior will be different. We could even do both, depending on whether or not there's a visible scrollbar, if you prefer.

[ferndot]

Can you post a screenshot of Sublime's system? I do not have access to it.

[twiss]

[ferndot]

I like the correct scrollbar because it does not imply that the document is longer than it truly is. This type of scrollbar, however, might be difficult to implement. I also hesitate to attach any scripting to a scroll event as it might cause performance issues.

@jackd1 what are your thoughts?