equal
deleted
inserted
replaced
41 self._label = value |
41 self._label = value |
42 w = len(value) + len(self.prefix) + len(self.suffix) + 2 * self.padding |
42 w = len(value) + len(self.prefix) + len(self.suffix) + 2 * self.padding |
43 self.sizereq.update(w, 1) |
43 self.sizereq.update(w, 1) |
44 |
44 |
45 def set_theme(self, theme): |
45 def set_theme(self, theme): |
|
46 Widget.set_theme(self, theme) |
46 self.color = theme.button |
47 self.color = theme.button |
47 self.color_highlighted = theme.button_active |
48 self.color_highlighted = theme.button_active |
48 |
49 |
49 def _get_color(self): |
50 def _get_color(self): |
50 if self.highlight: # or self.has_focus(): |
51 if self.highlight: # or self.has_focus(): |