def change_mark(cb):
# copy marks for safekeeping...
new_text = cb.get_active_text()
sm = gtk.TextMark(None, True)
self.tb.add_mark(sm, self.tb.get_iter_at_mark(smark))
em = gtk.TextMark(None, False)
self.tb.add_mark(em, self.tb.get_iter_at_mark(emark))
# remove old marks...
remove_markup()
# And relabel!
self.label_range(self.tb.get_iter_at_mark(sm), self.tb.get_iter_at_mark(em), new_text)
def change_mark(cb):
# copy marks for safekeeping...
new_text = cb.get_active_text()
sm = Gtk.TextMark.new(None, True)
self.tb.add_mark(sm, self.tb.get_iter_at_mark(smark))
em = Gtk.TextMark.new(None, False)
self.tb.add_mark(em, self.tb.get_iter_at_mark(emark))
# remove old marks...
remove_markup()
# And relabel!
self.label_range(self.tb.get_iter_at_mark(sm),
self.tb.get_iter_at_mark(em), new_text)
def change_mark(self, cb, smark, emark, start_id, end_id):
new_label = cb.get_active_text()
def change_mark (self, cb, smark, emark, start_id, end_id):
new_label = cb.get_active_text()
