Esempio n. 1
0
 def end_edit(self):
     PatchElement.end_edit(self)
     self.set_text()