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)
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)
def close(self):
if self._unsaved_index is not None:
application.free_unsaved_index(self._unsaved_index)
self._unsaved_index = None
self.widget.destroy()
def _clear_unsaved(self):
if self._unsaved_index is not None:
application.free_unsaved_index(self._unsaved_index)
self._unsaved_index = None
def _clear_unsaved(self):
if self._unsaved_index is not None:
application.free_unsaved_index(self._unsaved_index)
self._unsaved_index = None
