equal
deleted
inserted
replaced
42 def cur_line(self, value): |
42 def cur_line(self, value): |
43 self._lines[self._cursor.y] = value |
43 self._lines[self._cursor.y] = value |
44 |
44 |
45 def draw(self, buffer): |
45 def draw(self, buffer): |
46 exposed = self.exposed(buffer) |
46 exposed = self.exposed(buffer) |
47 with buffer.attr(self.theme.normal): |
47 with buffer.attr(self.theme.clr_normal): |
48 buffer.fill() |
48 buffer.fill() |
49 end_y = min(len(self._lines), exposed.y + exposed.h) |
49 end_y = min(len(self._lines), exposed.y + exposed.h) |
50 for j in range(exposed.y, end_y): |
50 for j in range(exposed.y, end_y): |
51 line = self._lines[j] |
51 line = self._lines[j] |
52 buffer.puts(line, 0, j) |
52 buffer.puts(line, 0, j) |