Method scroll_region

pye.py:205–206

(self, stop)

    def mouse_reporting(self, onoff):
        self.wr(Editor.TERMCMD[7] if onoff else Editor.TERMCMD[8])
    def scroll_region(self, stop):
        self.wr(Editor.TERMCMD[11].format(stop=stop) if stop else Editor.TERMCMD[12])
    def scroll_up(self, scrolling):
        if Editor.TERMCMD[9]:
            Editor.scrbuf[scrolling:] = Editor.scrbuf[:-scrolling]