Esempi in Python per free_unsaved_index

Esempio n. 1

File: editor.py Progetto: 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)

Esempio n. 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)

Esempio n. 3

File: editor.py Progetto: 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()

Esempio n. 4

File: editor.py Progetto: johnrizzo1/reinteract

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

Esempio n. 5

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