Fixes #169 by normalizing window bounds values.
Fixes #165
added ability to scroll past the end of a file
Merge pull request #305 from TheKiteEatingTree/scrollPastEnd

Added Option to allow scrolling past the end of a file
Define the top edge of the editor area in a theme-friendly way.
Merge pull request #306 from robru/easier-theming

Define the top edge of the editor area in a theme-friendly way.
Update changelog and bump version to 0.11.1