Very simple gedit plugin to scroll past the end of documents