| changeset 95 | 05392e369ede |
| parent 94 | e50dae408fe9 |
| child 119 | dd91747504dd |
| 94:e50dae408fe9 | 95:05392e369ede |
|---|---|
12 def set_theme(self, theme): |
12 def set_theme(self, theme): |
13 self.color = self.theme.normal |
13 self.color = self.theme.normal |
14 |
14 |
15 def draw(self, buffer): |
15 def draw(self, buffer): |
16 with buffer.attr(self.color): |
16 with buffer.attr(self.color): |
17 buffer.puts(0, 0, self.label) |
17 buffer.puts(self.label) |