equal
deleted
inserted
replaced
42 self.redraw() |
42 self.redraw() |
43 |
43 |
44 def redraw(self): |
44 def redraw(self): |
45 self.buffer.reset_origin() |
45 self.buffer.reset_origin() |
46 Container.draw(self, self.buffer) |
46 Container.draw(self, self.buffer) |
47 self.buffer.puts('{0.w} {0.h}'.format(self.size), 10, 5) |
47 # self.buffer.puts('{0.w} {0.h}'.format(self.size), 10, 5) |
48 self.buffer.frame() |
48 # self.buffer.frame() |
49 |
49 |
50 def draw(self, buffer): |
50 def draw(self, buffer): |
51 """Draw this window into `buffer`.""" |
51 """Draw this window into `buffer`.""" |
52 self.redraw() |
52 self.redraw() |
53 buffer.draw(self.buffer) |
53 buffer.draw(self.buffer) |