ui: preferences: add missing HasKey checkbox to the export preference…

… tab This aligns the export preference tab with the owl exporter dialog. Closes #157
obdasystems · Sep 29, 2021 · a690dae · a690dae
1 parent 85fea10
commit a690dae
Showing 1 changed file with 12 additions and 11 deletions.
diff --git a/eddy/ui/preferences.py b/eddy/ui/preferences.py
@@ -180,17 +180,18 @@ def __init__(self, session):
         layout.addWidget(self.checks[OWLAxiom.EquivalentObjectProperties], 0, 1)
         layout.addWidget(self.checks[OWLAxiom.FunctionalDataProperty], 1, 1)
         layout.addWidget(self.checks[OWLAxiom.FunctionalObjectProperty], 2, 1)
-        layout.addWidget(self.checks[OWLAxiom.InverseFunctionalObjectProperty], 3, 1)
-        layout.addWidget(self.checks[OWLAxiom.InverseObjectProperties], 4, 1)
-        layout.addWidget(self.checks[OWLAxiom.IrreflexiveObjectProperty], 5, 1)
-        layout.addWidget(self.checks[OWLAxiom.ObjectPropertyDomain], 6, 1)
-        layout.addWidget(self.checks[OWLAxiom.ObjectPropertyRange], 7, 1)
-        layout.addWidget(self.checks[OWLAxiom.ReflexiveObjectProperty], 0, 2)
-        layout.addWidget(self.checks[OWLAxiom.SubClassOf], 1, 2)
-        layout.addWidget(self.checks[OWLAxiom.SubDataPropertyOf], 2, 2)
-        layout.addWidget(self.checks[OWLAxiom.SubObjectPropertyOf], 3, 2)
-        layout.addWidget(self.checks[OWLAxiom.SymmetricObjectProperty], 4, 2)
-        layout.addWidget(self.checks[OWLAxiom.TransitiveObjectProperty], 5, 2)
+        layout.addWidget(self.checks[OWLAxiom.HasKey], 3, 1)
+        layout.addWidget(self.checks[OWLAxiom.InverseFunctionalObjectProperty], 4, 1)
+        layout.addWidget(self.checks[OWLAxiom.InverseObjectProperties], 5, 1)
+        layout.addWidget(self.checks[OWLAxiom.IrreflexiveObjectProperty], 6, 1)
+        layout.addWidget(self.checks[OWLAxiom.ObjectPropertyDomain], 7, 1)
+        layout.addWidget(self.checks[OWLAxiom.ObjectPropertyRange], 0, 2)
+        layout.addWidget(self.checks[OWLAxiom.ReflexiveObjectProperty], 1, 2)
+        layout.addWidget(self.checks[OWLAxiom.SubClassOf], 2, 2)
+        layout.addWidget(self.checks[OWLAxiom.SubDataPropertyOf], 3, 2)
+        layout.addWidget(self.checks[OWLAxiom.SubObjectPropertyOf], 4, 2)
+        layout.addWidget(self.checks[OWLAxiom.SymmetricObjectProperty], 5, 2)
+        layout.addWidget(self.checks[OWLAxiom.TransitiveObjectProperty], 6, 2)
         widget = QtWidgets.QGroupBox('Intensional', self, objectName='axioms_intensional')
         widget.setLayout(layout)
         self.addWidget(widget)