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