示例#1
0
    def do_destroy(self):
        if self._unsaved_index is not None:
            application.free_unsaved_index(self._unsaved_index)
            self._unsaved_index = None

        self.widget.destroy()

        Destroyable.do_destroy(self)
示例#2
0
    def do_destroy(self):
        if self._unsaved_index is not None:
            application.free_unsaved_index(self._unsaved_index)
            self._unsaved_index = None

        self.widget.destroy()

        Destroyable.do_destroy(self)
示例#3
0
    def close(self):
        if self._unsaved_index is not None:
            application.free_unsaved_index(self._unsaved_index)
            self._unsaved_index = None

        self.widget.destroy()
示例#4
0
 def _clear_unsaved(self):
     if self._unsaved_index is not None:
         application.free_unsaved_index(self._unsaved_index)
         self._unsaved_index = None
示例#5
0
 def _clear_unsaved(self):
     if self._unsaved_index is not None:
         application.free_unsaved_index(self._unsaved_index)
         self._unsaved_index = None