Scroll past end


(Andrew Van Slaars) #1

I’d love to be able to scroll past the end of the file without needing to insert a bunch of extra lines. Many code editors have this feature and it’s quite helpful to be able to move the end of the document up to the middle of the screen.

It’s a minor thing, and I can work around it with extra lines at the moment, but it would be a nice option.

Thanks for the great product. Really enjoying it so far!


(Takuya Matsuyama) #2

Hi Andrew,

Thanks for the suggestion.
I think you are right. It sounds like a basic feature.

At the moment, you can enable it manually with following steps:

  1. Open up the developer tools from Developer menu.
  2. Open console
  3. Paste below code:
require('codemirror/addon/scroll/scrollpastend')
var cm = inkdrop.getActiveEditor().codeMirror
cm.setOption('scrollPastEnd', true)

Then you will see scroll-past-end feature working!


(Andrew Van Slaars) #3

Excellent! This will do for now, saving that in a snippet in devtools for future use :slight_smile: Thank you so much!


(Takuya Matsuyama) #4

It’s now supported in v3.15.0. Thanks for the suggestion!


(Andrew Van Slaars) #5

Great! Thank you!! :slight_smile: