def sel_paste(i): self.editor.get_buffer().paste_clipboard(get_clipboard()) return True
def sel_cut(i): self.editor.get_buffer().cut_clipboard(get_clipboard()) return True
def copy_id(self, widget, el): clip = get_clipboard() clip.set_text(el.id, -1) return True
def copy_id (self, widget, el): clip = get_clipboard() clip.set_text(el.id, -1) return True