def __init__(self, window, panel, all_docs, node): self._window = window self._panel = panel self._node = node self._error = False self._signal_ids = {} self._counter = 0 if all_docs: docs = window.get_documents() else: docs = [window.get_active_document()] docs_to_save = [doc for doc in docs if doc.get_modified()] signals = {} for doc in docs_to_save: signals[doc] = doc.connect('saving', self.on_document_saving) if len(docs_to_save) == len(docs) and len(docs) != 0: Gedit.commands_save_all_documents(window) else: for doc in docs_to_save: Gedit.commands_save_document(window, doc) for doc in docs_to_save: doc.disconnect(signals[doc]) self.run_tool()
def save_all(view): window = view.get_toplevel() Gedit.commands_save_all_documents(window) return commander.commands.result.HIDE