equal
deleted
inserted
replaced
49 def on_button_align_click(self, ev): |
49 def on_button_align_click(self, ev): |
50 align_type = ev.originator.label.split(':', 1)[0] |
50 align_type = ev.originator.label.split(':', 1)[0] |
51 align = self.win.get_hint(align_type) |
51 align = self.win.get_hint(align_type) |
52 align.select_next() |
52 align.select_next() |
53 ev.originator.label = '%s: %s' % (align_type, align.selected) |
53 ev.originator.label = '%s: %s' % (align_type, align.selected) |
54 self.top.emit('resize') |
54 self.top.need_resize() |
55 return True |
55 return True |
56 |
56 |
57 def on_label_margin_draw(self, ev): |
57 def on_label_margin_draw(self, ev): |
58 ev.originator.label = str(self.win.hint_value('margin')) |
58 ev.originator.label = str(self.win.hint_value('margin')) |
59 |
59 |