(self, onoff)
| 201 | else: |
| 202 | self.wr(Editor.TERMCMD[4]) |
| 203 | def mouse_reporting(self, onoff): |
| 204 | self.wr(Editor.TERMCMD[7] if onoff else Editor.TERMCMD[8]) |
| 205 | def scroll_region(self, stop): |
| 206 | self.wr(Editor.TERMCMD[11].format(stop=stop) if stop else Editor.TERMCMD[12]) |
| 207 | def scroll_up(self, scrolling): |