Python free_unsaved_index示例

示例#1

文件： editor.py 项目： alexey4petrov/reinteract

    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

    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

文件： editor.py 项目： johnrizzo1/reinteract

    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

文件： editor.py 项目： johnrizzo1/reinteract

 def _clear_unsaved(self):
     if self._unsaved_index is not None:
         application.free_unsaved_index(self._unsaved_index)
         self._unsaved_index = None

示例#5

 def _clear_unsaved(self):
     if self._unsaved_index is not None:
         application.free_unsaved_index(self._unsaved_index)
         self._unsaved_index = None