(self, scrolling)
| 211 | self.goto(0, 0) |
| 212 | self.wr(Editor.TERMCMD[9] * scrolling) |
| 213 | def scroll_down(self, scrolling): |
| 214 | if Editor.TERMCMD[10]: |
| 215 | Editor.scrbuf[:-scrolling] = Editor.scrbuf[scrolling:] |
| 216 | Editor.scrbuf[-scrolling:] = [''] * scrolling |
| 217 | self.goto(Editor.height - 1, 0) |
| 218 | self.wr(Editor.TERMCMD[10] * scrolling) |
| 219 | def redraw(self, flag): |
| 220 | self.cursor(False) |
| 221 | Editor.height, Editor.width = self.io_device.get_screen_size() |
no test coverage detected