Allow scrolling below end of file
Thanks for maintaining gedit, it's one of my favorite text editors.
Notepad++ has an option that allows downward scrolling past the end of the file: instead of stopping downward scrolling when the last line of the file is at the bottom of the window, it stops when it's at the top, allowing almost one full window of empty space below it. This ends up being pretty convenient when using lots of partially overlapping windows on the same desktop, or when cycling through search results: lines of particular interest can be positioned consistently near the top of the window, regardless of how close they are to the end of the file.
Can an option like this be added to gedit? (I imagine it would be off by default, with a control box in the settings.)