Esempio n. 1
0
    def check_save(self):
        if self.undo_stack.undoables != self.last_undoables:
            dialog = gtk.MessageDialog(
                self.window,
                gtk.DialogFlags.MODAL,
                gtk.MessageType.WARNING,
                message_format=editobj3.TRANSLATOR(
                    u"Save modifications before closing?"))
            dialog.add_buttons(
                editobj3.TRANSLATOR(u"Close without saving"),
                gtk.ResponseType.CLOSE,
                gtk.STOCK_CANCEL,
                gtk.ResponseType.CANCEL,
                gtk.STOCK_SAVE,
                gtk.ResponseType.OK,
            )
            dialog.set_default_response(1)
            response = dialog.run()
            dialog.destroy()
            if response == gtk.ResponseType.CLOSE: return 0
            if response == gtk.ResponseType.CANCEL: return 1
            elif response == gtk.ResponseType.OK:
                self.on_save()
                return self.check_save(
                )  # The user may have canceled a "save as" dialog box !

        else:
            return 0
Esempio n. 2
0
 def check_save(self):
   if self.undo_stack.undoables != self.last_undoables:
     box = qtwidgets.QMessageBox()
     box.setText(editobj3.TRANSLATOR(u"Save modifications before closing?"))
     box.setStandardButtons(qtwidgets.QMessageBox.Save | qtwidgets.QMessageBox.Discard | qtwidgets.QMessageBox.Cancel)
     box.setDefaultButton(qtwidgets.QMessageBox.Cancel)
     response = box.exec()
     
     if   response == qtwidgets.QMessageBox.Discard: return 0
     if   response == qtwidgets.QMessageBox.Cancel:  return 1
     elif response == qtwidgets.QMessageBox.Save:
       self.on_save()
       return self.check_save() # The user may have canceled a "save as" dialog box !
     
   else: return 0
Esempio n. 3
0
    def prompt_save_filename(self):
        filter = gtk.FileFilter()
        filter.set_name("OWL/XML")
        filter.add_pattern("*.owl")

        dialog = gtk.FileChooserDialog(
            editobj3.TRANSLATOR(u"Save as..."), self.window,
            gtk.FileChooserAction.SAVE,
            (gtk.STOCK_CANCEL, gtk.ResponseType.CANCEL, gtk.STOCK_SAVE,
             gtk.ResponseType.OK))
        dialog.set_property("do-overwrite-confirmation", 1)
        dialog.set_default_response(gtk.ResponseType.OK)
        dialog.add_filter(filter)
        dialog.set_current_folder(onto_path[0])
        dialog.set_current_name(self.ontology.name)
        response = dialog.run()
        filename = dialog.get_filename()
        dialog.destroy()
        if response != gtk.RESPONSE_OK: return
        return filename
 def __init__(self, ontology, Class):
     self.ontology = ontology
     self.namespace = ontology
     self.Class = Class
     self.name = editobj3.TRANSLATOR(Class.name.replace("_", " "))
Esempio n. 5
0
 def prompt_save_filename(self):
   filename = qtwidgets.QFileDialog.getSaveFileName(self.window, editobj3.TRANSLATOR(u"Save as..."), os.path.join(onto_path[0], self.ontology.name), "OWL/XML (*.owl)")[0]
   return filename