def __init__(self, session):
"""
Initialize the Preferences dialog.
:type session: Session
"""
super().__init__(session)
settings = QtCore.QSettings()
#############################################
# GENERAL TAB
#################################
# WORKSPACE GROUP
workspace = StringField(self, objectName='workspace_field')
workspace.setMinimumWidth(400)
workspace.setReadOnly(True)
workspace.setText(settings.value('workspace/home', WORKSPACE, str))
self.addWidget(workspace)
browse = QtWidgets.QPushButton(self, objectName='workspace_browse_button')
browse.setText('Browse')
connect(browse.clicked, self.browseWorkspace)
self.addWidget(browse)
boxLayout = QtWidgets.QHBoxLayout()
boxLayout.addWidget(self.widget('workspace_field'))
boxLayout.addWidget(self.widget('workspace_browse_button'))
groupbox = QtWidgets.QGroupBox('Workspace', self, objectName='workspace_widget')
groupbox.setLayout(boxLayout)
self.addWidget(groupbox)
## EDITOR GROUP
prefix = QtWidgets.QLabel(self, objectName='diagram_size_prefix')
prefix.setText('Diagram size')
self.addWidget(prefix)
spinbox = SpinBox(self, objectName='diagram_size_field')
spinbox.setRange(Diagram.MinSize, Diagram.MaxSize)
spinbox.setSingleStep(100)
spinbox.setToolTip('Default size of all the new created diagrams')
spinbox.setValue(settings.value('diagram/size', 5000, int))
self.addWidget(spinbox)
prefix = QtWidgets.QLabel(self, objectName='diagram_font_size_prefix')
prefix.setText('Diagram font size (px)')
self.addWidget(prefix)
spinbox = SpinBox(self, objectName='diagram_font_size_field')
spinbox.setRange(Diagram.MinFontSize, Diagram.MaxFontSize)
spinbox.setSingleStep(1)
spinbox.setToolTip('Default font size for diagram labels (px)')
spinbox.setValue(settings.value('diagram/fontsize', QtWidgets.qApp.font().pixelSize(), int))
self.addWidget(spinbox)
formlayout = QtWidgets.QFormLayout()
formlayout.addRow(self.widget('diagram_size_prefix'), self.widget('diagram_size_field'))
formlayout.addRow(self.widget('diagram_font_size_prefix'), self.widget('diagram_font_size_field'))
groupbox = QtWidgets.QGroupBox('Editor', self, objectName='editor_widget')
groupbox.setLayout(formlayout)
self.addWidget(groupbox)
## UPDATE GROUP
prefix = QtWidgets.QLabel(self, objectName='update_startup_prefix')
prefix.setText('Check for updates on startup')
self.addWidget(prefix)
checkbox = CheckBox(self, objectName='update_startup_checkbox')
checkbox.setChecked(settings.value('update/check_on_startup', True, bool))
checkbox.setToolTip('Whether or not application updates needs to be checked upon startup')
self.addWidget(checkbox)
prefix = QtWidgets.QLabel(self, objectName='update_channel_prefix')
prefix.setText('Update channel')
self.addWidget(prefix)
combobox = ComboBox(objectName='update_channel_switch')
combobox.setEditable(False)
combobox.setFocusPolicy(QtCore.Qt.StrongFocus)
combobox.setScrollEnabled(False)
combobox.setToolTip('Update channel (current = %s)' % settings.value('update/channel', Channel.Stable.value, str))
combobox.addItems([x.value for x in Channel])
combobox.setCurrentText(settings.value('update/channel', Channel.Stable.value, str))
self.addWidget(combobox)
formlayout = QtWidgets.QFormLayout()
formlayout.addRow(self.widget('update_startup_prefix'), self.widget('update_startup_checkbox'))
formlayout.addRow(self.widget('update_channel_prefix'), self.widget('update_channel_switch'))
groupbox = QtWidgets.QGroupBox('Update', self, objectName='update_widget')
groupbox.setLayout(formlayout)
self.addWidget(groupbox)
## GENERAL TAB LAYOUT CONFIGURATION
layout = QtWidgets.QVBoxLayout()
layout.setAlignment(QtCore.Qt.AlignTop)
layout.addWidget(self.widget('workspace_widget'), 0, QtCore.Qt.AlignTop)
layout.addWidget(self.widget('editor_widget'), 0, QtCore.Qt.AlignTop)
layout.addWidget(self.widget('update_widget'), 0, QtCore.Qt.AlignTop)
widget = QtWidgets.QWidget()
widget.setLayout(layout)
widget.setObjectName('general_widget')
self.addWidget(widget)
#############################################
# EXPORT TAB
#################################
self.checks = {x: CheckBox(x.value, self) for x in OWLAxiom}
for axiom, checkbox in self.checks.items():
checkbox.setChecked(settings.value('export/axiom/{}'.format(axiom.value), True, bool))
## NON-LOGICAL GROUP
layout = QtWidgets.QGridLayout()
layout.setColumnMinimumWidth(0, 230)
layout.setColumnMinimumWidth(1, 230)
layout.setColumnMinimumWidth(2, 230)
layout.addWidget(self.checks[OWLAxiom.Annotation], 0, 0)
layout.addWidget(self.checks[OWLAxiom.Declaration], 0, 1)
layout.addWidget(QtWidgets.QWidget(self), 0, 2)
widget = QtWidgets.QGroupBox('Non-Logical', self, objectName='axioms_non_logical')
widget.setLayout(layout)
self.addWidget(widget)
## INTENSIONAL GROUP
layout = QtWidgets.QGridLayout()
layout.setColumnMinimumWidth(0, 230)
layout.setColumnMinimumWidth(1, 230)
layout.setColumnMinimumWidth(2, 230)
layout.addWidget(self.checks[OWLAxiom.AsymmetricObjectProperty], 0, 0)
layout.addWidget(self.checks[OWLAxiom.DataPropertyDomain], 1, 0)
layout.addWidget(self.checks[OWLAxiom.DataPropertyRange], 2, 0)
layout.addWidget(self.checks[OWLAxiom.DisjointClasses], 3, 0)
layout.addWidget(self.checks[OWLAxiom.DisjointDataProperties], 4, 0)
layout.addWidget(self.checks[OWLAxiom.DisjointObjectProperties], 5, 0)
layout.addWidget(self.checks[OWLAxiom.EquivalentClasses], 6, 0)
layout.addWidget(self.checks[OWLAxiom.EquivalentDataProperties], 7, 0)
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)
widget = QtWidgets.QGroupBox('Intensional', self, objectName='axioms_intensional')
widget.setLayout(layout)
self.addWidget(widget)
## EXTENSIONAL GROUP
layout = QtWidgets.QGridLayout()
layout.setColumnMinimumWidth(0, 230)
layout.setColumnMinimumWidth(1, 230)
layout.setColumnMinimumWidth(2, 230)
layout.addWidget(self.checks[OWLAxiom.ClassAssertion], 0, 0)
layout.addWidget(self.checks[OWLAxiom.DataPropertyAssertion], 1, 0)
layout.addWidget(self.checks[OWLAxiom.DifferentIndividuals], 2, 0)
layout.addWidget(self.checks[OWLAxiom.NegativeDataPropertyAssertion], 0, 1)
layout.addWidget(self.checks[OWLAxiom.NegativeObjectPropertyAssertion], 1, 1)
layout.addWidget(self.checks[OWLAxiom.ObjectPropertyAssertion], 2, 1)
layout.addWidget(self.checks[OWLAxiom.SameIndividual], 0, 2)
widget = QtWidgets.QGroupBox('Extensional', self, objectName='axioms_extensional')
widget.setLayout(layout)
self.addWidget(widget)
## LOGICAL GROUP
layout = QtWidgets.QVBoxLayout()
layout.addWidget(self.widget('axioms_intensional'))
layout.addWidget(self.widget('axioms_extensional'))
widget = QtWidgets.QGroupBox('Logical', self, objectName='axioms_logical')
widget.setLayout(layout)
self.addWidget(widget)
## EXPORT TAB LAYOUT CONFIGURATION
layout = QtWidgets.QVBoxLayout()
layout.addWidget(self.widget('axioms_non_logical'))
layout.addWidget(self.widget('axioms_logical'))
groupbox = QtWidgets.QGroupBox('OWL 2 Axioms for which exporting is enabled', self)
groupbox.setLayout(layout)
layout = QtWidgets.QVBoxLayout()
layout.setContentsMargins(10, 10, 10, 10)
layout.addWidget(groupbox)
widget = QtWidgets.QWidget(self, objectName='axioms_widget')
widget.setLayout(layout)
self.addWidget(widget)
#############################################
# PLUGINS TAB
#################################
table = QtWidgets.QTableWidget(len(self.session.plugins()), 5, self, objectName='plugins_table')
table.setHorizontalHeaderLabels(['Name', 'Version', 'Author', 'Contact', 'Uninstall'])
table.setSelectionMode(QtWidgets.QAbstractItemView.NoSelection)
table.setFocusPolicy(QtCore.Qt.NoFocus)
self.addWidget(table)
header = table.horizontalHeader()
header.setSectionResizeMode(0, QtWidgets.QHeaderView.Stretch)
header.setSectionResizeMode(1, QtWidgets.QHeaderView.Fixed)
header.setSectionResizeMode(2, QtWidgets.QHeaderView.Stretch)
header.setSectionResizeMode(3, QtWidgets.QHeaderView.Stretch)
header.setSectionResizeMode(4, QtWidgets.QHeaderView.Fixed)
header.setSectionsClickable(False)
header.setSectionsMovable(False)
header = table.verticalHeader()
header.setSectionResizeMode(QtWidgets.QHeaderView.Fixed)
self.uninstall = dict()
for row, plugin in enumerate(sorted(self.session.plugins(), key=lambda x: x.name())):
item = QtWidgets.QTableWidgetItem(plugin.name())
item.setTextAlignment(QtCore.Qt.AlignLeft|QtCore.Qt.AlignVCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 0, item)
item = QtWidgets.QTableWidgetItem('v{0}'.format(plugin.version()))
item.setTextAlignment(QtCore.Qt.AlignCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 1, item)
item = QtWidgets.QTableWidgetItem(plugin.author())
item.setTextAlignment(QtCore.Qt.AlignCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 2, item)
item = QtWidgets.QTableWidgetItem(plugin.contact())
item.setTextAlignment(QtCore.Qt.AlignCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 3, item)
p_widget = QtWidgets.QWidget()
p_checkbox = CheckBox()
p_checkbox.setEnabled(not plugin.isBuiltIn())
p_layout = QtWidgets.QHBoxLayout(p_widget)
p_layout.addWidget(p_checkbox)
p_layout.setAlignment(QtCore.Qt.AlignCenter)
p_layout.setContentsMargins(0, 0, 0, 0)
table.setCellWidget(row, 4, p_widget)
self.uninstall[plugin] = p_checkbox
button = QtWidgets.QToolButton(self, objectName='plugins_install_button')
button.setDefaultAction(self.session.action('install_plugin'))
button.setToolButtonStyle(QtCore.Qt.ToolButtonTextBesideIcon)
self.addWidget(button)
layout = QtWidgets.QVBoxLayout()
layout.addWidget(self.widget('plugins_table'), 1)
layout.addWidget(self.widget('plugins_install_button'), 0, QtCore.Qt.AlignRight)
widget = QtWidgets.QWidget(objectName='plugins_widget')
widget.setLayout(layout)
self.addWidget(widget)
#############################################
# CONFIRMATION BOX
#################################
confirmation = QtWidgets.QDialogButtonBox(QtCore.Qt.Horizontal, self, objectName='confirmation_widget')
confirmation.addButton(QtWidgets.QDialogButtonBox.Save)
confirmation.addButton(QtWidgets.QDialogButtonBox.Cancel)
confirmation.setContentsMargins(10, 0, 10, 10)
self.addWidget(confirmation)
#############################################
# MAIN WIDGET
#################################
widget = QtWidgets.QTabWidget(self, objectName='main_widget')
widget.addTab(self.widget('general_widget'), QtGui.QIcon(':/icons/24/ic_settings_black'), 'General')
widget.addTab(self.widget('axioms_widget'), QtGui.QIcon(':/icons/24/ic_export_black'), 'Export')
widget.addTab(self.widget('plugins_widget'), QtGui.QIcon(':/icons/24/ic_extension_black'), 'Plugins')
self.addWidget(widget)
layout = QtWidgets.QVBoxLayout()
layout.setContentsMargins(0, 0, 0, 0)
layout.addWidget(self.widget('main_widget'))
layout.addWidget(self.widget('confirmation_widget'), 0, QtCore.Qt.AlignRight)
self.setLayout(layout)
self.setMinimumSize(740, 420)
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
self.setWindowTitle('Preferences')
connect(confirmation.accepted, self.accept)
connect(confirmation.rejected, self.reject)
class SceneProperty(QDialog):
"""
This class implements the 'Scene properties' dialog.
"""
def __init__(self, scene, parent=None):
"""
Initialize the scene properties dialog.
:type scene: DiagramScene
:type parent: QWidget
"""
super().__init__(parent)
self.scene = scene
self.mainWidget = QTabWidget(self)
################################################################################################################
# #
# GENERAL TAB #
# #
################################################################################################################
self.generalWidget = QWidget()
self.generalLayout = QFormLayout(self.generalWidget)
# Amount of nodes in the scene
self.nodesField = IntField(self.generalWidget)
self.nodesField.setReadOnly(True)
self.nodesField.setFixedWidth(300)
self.nodesField.setValue(len(self.scene.nodes()))
# Amount of edges in the scene
self.edgesField = IntField(self.generalWidget)
self.nodesField.setReadOnly(True)
self.edgesField.setFixedWidth(300)
self.edgesField.setValue(len(self.scene.edges()))
self.generalLayout.addRow('N° nodes', self.nodesField)
self.generalLayout.addRow('N° edges', self.edgesField)
self.mainWidget.addTab(self.generalWidget, 'General')
################################################################################################################
# #
# GEOMETRY TAB #
# #
################################################################################################################
self.geometryWidget = QWidget()
self.geometryLayout = QFormLayout(self.geometryWidget)
R = self.scene.sceneRect()
self.sceneSizeField = SpinBox(self)
self.sceneSizeField.setRange(self.scene.MinSize, self.scene.MaxSize)
self.sceneSizeField.setSingleStep(100)
self.sceneSizeField.setValue(R.width())
self.geometryLayout.addRow('Size', self.sceneSizeField)
self.mainWidget.addTab(self.geometryWidget, 'Geometry')
################################################################################################################
# #
# DOCUMENT WIDGET #
# #
################################################################################################################
if self.scene.document.path:
self.documentWidget = QWidget()
self.documentLayout = QFormLayout(self.documentWidget)
# Filepath of the saved document.
self.pathField = StringField(self.documentWidget)
self.pathField.setReadOnly(True)
self.pathField.setFixedWidth(300)
self.pathField.setValue(self.scene.document.path)
# Timestamp when the document has been last modified.
self.editedField = StringField(self.documentWidget)
self.editedField.setReadOnly(True)
self.editedField.setFixedWidth(300)
self.editedField.setValue(
datetime.fromtimestamp(int(
self.scene.document.edited)).strftime('%Y/%m/%d %H:%M:%S'))
self.documentLayout.addRow('File', self.pathField)
self.documentLayout.addRow('Last edit', self.editedField)
self.mainWidget.addTab(self.documentWidget, 'Document')
################################################################################################################
# #
# BUTTON BOX #
# #
################################################################################################################
self.buttonBox = QDialogButtonBox(
QDialogButtonBox.Ok | QDialogButtonBox.Cancel, Qt.Horizontal, self)
################################################################################################################
# #
# MAIN LAYOUT #
# #
################################################################################################################
self.mainLayout = QVBoxLayout(self)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.buttonBox, 0, Qt.AlignRight)
self.setFixedSize(self.sizeHint())
self.setWindowTitle('Scene properties')
self.setWindowIcon(QIcon(':/images/eddy'))
################################################################################################################
# #
# CONFIGURE SIGNALS #
# #
################################################################################################################
connect(self.finished, self.completed)
connect(self.buttonBox.accepted, self.accept)
connect(self.buttonBox.rejected, self.reject)
####################################################################################################################
# #
# SLOTS #
# #
####################################################################################################################
@pyqtSlot(int)
def completed(self, code):
"""
Executed when the dialog is terminated.
:type code: int
"""
if code == QDialog.Accepted:
self.sceneSizeChanged()
####################################################################################################################
# #
# AUXILIARY METHODS #
# #
####################################################################################################################
def sceneSizeChanged(self):
"""
Change the size of the DiagramScene rectangle.
"""
size1 = self.scene.sceneRect().width()
size2 = self.sceneSizeField.value()
if size1 != size2:
# see if the new size is sufficient to contain all the elements in the scene
items = self.scene.items()
if len(items) > 0:
X = set()
Y = set()
for item in items:
B = item.mapRectToScene(item.boundingRect())
X |= {B.left(), B.right()}
Y |= {B.top(), B.bottom()}
# clamp size2 so that all the elements in the scene stays visible
size2 = max(size2, abs(min(X) * 2), abs(max(X) * 2),
abs(min(Y) * 2), abs(max(Y) * 2))
self.scene.undostack.push(
CommandSceneResize(
self.scene, QRectF(-size2 / 2, -size2 / 2, size2, size2)))
def __init__(self, scene, parent=None):
"""
Initialize the scene properties dialog.
:type scene: DiagramScene
:type parent: QWidget
"""
super().__init__(parent)
self.scene = scene
self.mainWidget = QTabWidget(self)
################################################################################################################
# #
# GENERAL TAB #
# #
################################################################################################################
self.generalWidget = QWidget()
self.generalLayout = QFormLayout(self.generalWidget)
# Amount of nodes in the scene
self.nodesField = IntField(self.generalWidget)
self.nodesField.setReadOnly(True)
self.nodesField.setFixedWidth(300)
self.nodesField.setValue(len(self.scene.nodes()))
# Amount of edges in the scene
self.edgesField = IntField(self.generalWidget)
self.nodesField.setReadOnly(True)
self.edgesField.setFixedWidth(300)
self.edgesField.setValue(len(self.scene.edges()))
self.generalLayout.addRow('N° nodes', self.nodesField)
self.generalLayout.addRow('N° edges', self.edgesField)
self.mainWidget.addTab(self.generalWidget, 'General')
################################################################################################################
# #
# GEOMETRY TAB #
# #
################################################################################################################
self.geometryWidget = QWidget()
self.geometryLayout = QFormLayout(self.geometryWidget)
R = self.scene.sceneRect()
self.sceneSizeField = SpinBox(self)
self.sceneSizeField.setRange(self.scene.MinSize, self.scene.MaxSize)
self.sceneSizeField.setSingleStep(100)
self.sceneSizeField.setValue(R.width())
self.geometryLayout.addRow('Size', self.sceneSizeField)
self.mainWidget.addTab(self.geometryWidget, 'Geometry')
################################################################################################################
# #
# DOCUMENT WIDGET #
# #
################################################################################################################
if self.scene.document.path:
self.documentWidget = QWidget()
self.documentLayout = QFormLayout(self.documentWidget)
# Filepath of the saved document.
self.pathField = StringField(self.documentWidget)
self.pathField.setReadOnly(True)
self.pathField.setFixedWidth(300)
self.pathField.setValue(self.scene.document.path)
# Timestamp when the document has been last modified.
self.editedField = StringField(self.documentWidget)
self.editedField.setReadOnly(True)
self.editedField.setFixedWidth(300)
self.editedField.setValue(
datetime.fromtimestamp(int(
self.scene.document.edited)).strftime('%Y/%m/%d %H:%M:%S'))
self.documentLayout.addRow('File', self.pathField)
self.documentLayout.addRow('Last edit', self.editedField)
self.mainWidget.addTab(self.documentWidget, 'Document')
################################################################################################################
# #
# BUTTON BOX #
# #
################################################################################################################
self.buttonBox = QDialogButtonBox(
QDialogButtonBox.Ok | QDialogButtonBox.Cancel, Qt.Horizontal, self)
################################################################################################################
# #
# MAIN LAYOUT #
# #
################################################################################################################
self.mainLayout = QVBoxLayout(self)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.buttonBox, 0, Qt.AlignRight)
self.setFixedSize(self.sizeHint())
self.setWindowTitle('Scene properties')
self.setWindowIcon(QIcon(':/images/eddy'))
################################################################################################################
# #
# CONFIGURE SIGNALS #
# #
################################################################################################################
connect(self.finished, self.completed)
connect(self.buttonBox.accepted, self.accept)
connect(self.buttonBox.rejected, self.reject)
class DiagramProperty(PropertyDialog):
"""
This class implements the diagram properties dialog.
"""
def __init__(self, diagram, session):
"""
Initialize the diagram properties dialog.
:type diagram: Diagram
:type session: Session
"""
super().__init__(session)
self.diagram = diagram
#############################################
# GENERAL TAB
#################################
self.nodesLabel = QtWidgets.QLabel(self)
self.nodesLabel.setText('N° nodes')
self.nodesField = IntegerField(self)
self.nodesField.setFixedWidth(300)
self.nodesField.setReadOnly(True)
self.nodesField.setValue(len(self.diagram.nodes()))
self.edgesLabel = QtWidgets.QLabel(self)
self.edgesLabel.setText('N° edges')
self.edgesField = IntegerField(self)
self.edgesField.setFixedWidth(300)
self.edgesField.setReadOnly(True)
self.edgesField.setValue(len(self.diagram.edges()))
self.generalWidget = QtWidgets.QWidget()
self.generalLayout = QtWidgets.QFormLayout(self.generalWidget)
self.generalLayout.addRow(self.nodesLabel, self.nodesField)
self.generalLayout.addRow(self.edgesLabel, self.edgesField)
#############################################
# GEOMETRY TAB
#################################
sceneRect = self.diagram.sceneRect()
self.diagramSizeLabel = QtWidgets.QLabel(self)
self.diagramSizeLabel.setText('Size')
self.diagramSizeField = SpinBox(self)
self.diagramSizeField.setRange(Diagram.MinSize, Diagram.MaxSize)
self.diagramSizeField.setSingleStep(100)
self.diagramSizeField.setValue(
max(sceneRect.width(), sceneRect.height()))
self.geometryWidget = QtWidgets.QWidget()
self.geometryLayout = QtWidgets.QFormLayout(self.geometryWidget)
self.geometryLayout.addRow(self.diagramSizeLabel,
self.diagramSizeField)
#############################################
# CONFIRMATION BOX
#################################
self.confirmationBox = QtWidgets.QDialogButtonBox(
QtCore.Qt.Horizontal, self)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Ok)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Cancel)
self.confirmationBox.setContentsMargins(10, 0, 10, 10)
#############################################
# MAIN WIDGET
#################################
self.mainWidget = QtWidgets.QTabWidget(self)
self.mainWidget.addTab(self.generalWidget, 'General')
self.mainWidget.addTab(self.geometryWidget, 'Geometry')
self.mainLayout = QtWidgets.QVBoxLayout(self)
self.mainLayout.setContentsMargins(0, 0, 0, 0)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.confirmationBox, 0,
QtCore.Qt.AlignRight)
self.setWindowTitle('Properties: {0}'.format(self.diagram.name))
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
connect(self.confirmationBox.accepted, self.complete)
connect(self.confirmationBox.rejected, self.reject)
#############################################
# SLOTS
#################################
@QtCore.pyqtSlot()
def complete(self):
"""
Executed when the dialog is accepted.
"""
commands = [self.diagramSizeChanged()]
if any(commands):
self.session.undostack.beginMacro('edit {0} properties'.format(
self.diagram.name))
for command in commands:
if command:
self.session.undostack.push(command)
self.session.undostack.endMacro()
super().accept()
#############################################
# AUXILIARY METHODS
#################################
def diagramSizeChanged(self):
"""
Change the size of the diagram.
:rtype: QUndoCommand
"""
sceneRect = self.diagram.sceneRect()
size1 = max(sceneRect.width(), sceneRect.height())
size2 = self.diagramSizeField.value()
if size1 != size2:
items = self.diagram.items()
if items:
x = set()
y = set()
for item in items:
if item.isEdge() or item.isNode():
b = item.mapRectToScene(item.boundingRect())
x.update({b.left(), b.right()})
y.update({b.top(), b.bottom()})
size2 = max(size2, abs(min(x) * 2), abs(max(x) * 2),
abs(min(y) * 2), abs(max(y) * 2))
return CommandDiagramResize(
self.diagram,
QtCore.QRectF(-size2 / 2, -size2 / 2, size2, size2))
return None
def __init__(self, diagram, session):
"""
Initialize the diagram properties dialog.
:type diagram: Diagram
:type session: Session
"""
super().__init__(session)
self.diagram = diagram
#############################################
# GENERAL TAB
#################################
self.nodesLabel = QtWidgets.QLabel(self)
self.nodesLabel.setText('N° nodes')
self.nodesField = IntegerField(self)
self.nodesField.setFixedWidth(300)
self.nodesField.setReadOnly(True)
self.nodesField.setValue(len(self.diagram.nodes()))
self.edgesLabel = QtWidgets.QLabel(self)
self.edgesLabel.setText('N° edges')
self.edgesField = IntegerField(self)
self.edgesField.setFixedWidth(300)
self.edgesField.setReadOnly(True)
self.edgesField.setValue(len(self.diagram.edges()))
self.generalWidget = QtWidgets.QWidget()
self.generalLayout = QtWidgets.QFormLayout(self.generalWidget)
self.generalLayout.addRow(self.nodesLabel, self.nodesField)
self.generalLayout.addRow(self.edgesLabel, self.edgesField)
#############################################
# GEOMETRY TAB
#################################
sceneRect = self.diagram.sceneRect()
self.diagramSizeLabel = QtWidgets.QLabel(self)
self.diagramSizeLabel.setText('Size')
self.diagramSizeField = SpinBox(self)
self.diagramSizeField.setRange(Diagram.MinSize, Diagram.MaxSize)
self.diagramSizeField.setSingleStep(100)
self.diagramSizeField.setValue(
max(sceneRect.width(), sceneRect.height()))
self.geometryWidget = QtWidgets.QWidget()
self.geometryLayout = QtWidgets.QFormLayout(self.geometryWidget)
self.geometryLayout.addRow(self.diagramSizeLabel,
self.diagramSizeField)
#############################################
# CONFIRMATION BOX
#################################
self.confirmationBox = QtWidgets.QDialogButtonBox(
QtCore.Qt.Horizontal, self)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Ok)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Cancel)
self.confirmationBox.setContentsMargins(10, 0, 10, 10)
#############################################
# MAIN WIDGET
#################################
self.mainWidget = QtWidgets.QTabWidget(self)
self.mainWidget.addTab(self.generalWidget, 'General')
self.mainWidget.addTab(self.geometryWidget, 'Geometry')
self.mainLayout = QtWidgets.QVBoxLayout(self)
self.mainLayout.setContentsMargins(0, 0, 0, 0)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.confirmationBox, 0,
QtCore.Qt.AlignRight)
self.setWindowTitle('Properties: {0}'.format(self.diagram.name))
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
connect(self.confirmationBox.accepted, self.complete)
connect(self.confirmationBox.rejected, self.reject)
class NodeProperty(PropertyDialog):
"""
This class implements the 'Node property' dialog.
"""
def __init__(self, diagram, node, session):
"""
Initialize the node properties dialog.
:type diagram: Diagram
:type node: AbstractNode
:type session: Session
"""
super().__init__(session)
self.diagram = diagram
self.node = node
#############################################
# GENERAL TAB
#################################
self.idLabel = QtWidgets.QLabel(self)
self.idLabel.setText('ID')
self.idField = StringField(self)
self.idField.setFixedWidth(300)
self.idField.setFocusPolicy(QtCore.Qt.NoFocus)
self.idField.setReadOnly(True)
self.idField.setValue(self.node.id)
self.typeLabel = QtWidgets.QLabel(self)
self.typeLabel.setText('Type')
self.typeField = StringField(self)
self.typeField.setFocusPolicy(QtCore.Qt.NoFocus)
self.typeField.setFixedWidth(300)
self.typeField.setReadOnly(True)
self.typeField.setValue(node.shortName.capitalize())
self.identityLabel = QtWidgets.QLabel(self)
self.identityLabel.setText('Identity')
self.identityField = StringField(self)
self.identityField.setFocusPolicy(QtCore.Qt.NoFocus)
self.identityField.setFixedWidth(300)
self.identityField.setReadOnly(True)
self.identityField.setValue(self.node.identityName)
self.neighboursLabel = QtWidgets.QLabel(self)
self.neighboursLabel.setText('Neighbours')
self.neighboursField = IntegerField(self)
self.neighboursField.setFocusPolicy(QtCore.Qt.NoFocus)
self.neighboursField.setFixedWidth(300)
self.neighboursField.setReadOnly(True)
self.neighboursField.setValue(len(self.node.adjacentNodes()))
self.generalWidget = QtWidgets.QWidget()
self.generalLayout = QtWidgets.QFormLayout(self.generalWidget)
self.generalLayout.addRow(self.idLabel, self.idField)
self.generalLayout.addRow(self.typeLabel, self.typeField)
self.generalLayout.addRow(self.identityLabel, self.identityField)
self.generalLayout.addRow(self.neighboursLabel, self.neighboursField)
#############################################
# GEOMETRY TAB
#################################
nodePos = self.node.pos()
sceneRect = self.diagram.sceneRect()
self.xLabel = QtWidgets.QLabel(self)
self.xLabel.setText('X')
self.xField = SpinBox(self)
self.xField.setFixedWidth(60)
self.xField.setRange(sceneRect.left(), sceneRect.right())
self.xField.setValue(int(nodePos.x()))
self.yLabel = QtWidgets.QLabel(self)
self.yLabel.setText('Y')
self.yField = SpinBox(self)
self.yField.setFixedWidth(60)
self.yField.setRange(sceneRect.top(), sceneRect.bottom())
self.yField.setValue(int(nodePos.y()))
self.widthLabel = QtWidgets.QLabel(self)
self.widthLabel.setText('Width')
self.widthField = SpinBox(self)
self.widthField.setFixedWidth(60)
self.widthField.setRange(20, sceneRect.width())
self.widthField.setReadOnly(True)
self.widthField.setValue(int(self.node.width()))
self.heightLabel = QtWidgets.QLabel(self)
self.heightLabel.setText('Height')
self.heightField = SpinBox(self)
self.heightField.setFixedWidth(60)
self.heightField.setRange(20, sceneRect.height())
self.heightField.setReadOnly(True)
self.heightField.setValue(int(self.node.height()))
self.geometryWidget = QtWidgets.QWidget()
self.geometryLayout = QtWidgets.QFormLayout(self.geometryWidget)
self.geometryLayout.addRow(self.xLabel, self.xField)
self.geometryLayout.addRow(self.yLabel, self.yField)
self.geometryLayout.addRow(self.widthLabel, self.widthField)
self.geometryLayout.addRow(self.heightLabel, self.heightField)
#############################################
# CONFIRMATION BOX
#################################
self.confirmationBox = QtWidgets.QDialogButtonBox(
QtCore.Qt.Horizontal, self)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Ok)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Cancel)
self.confirmationBox.setContentsMargins(10, 0, 10, 10)
#############################################
# MAIN WIDGET
#################################
self.mainWidget = QtWidgets.QTabWidget(self)
self.mainWidget.addTab(self.generalWidget, 'General')
self.mainWidget.addTab(self.geometryWidget, 'Geometry')
self.mainLayout = QtWidgets.QVBoxLayout(self)
self.mainLayout.setContentsMargins(0, 0, 0, 0)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.confirmationBox, 0,
QtCore.Qt.AlignRight)
self.setWindowTitle('Properties: {0}'.format(self.node))
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
connect(self.confirmationBox.accepted, self.complete)
connect(self.confirmationBox.rejected, self.reject)
#############################################
# SLOTS
#################################
@QtCore.pyqtSlot()
def complete(self):
"""
Executed when the dialog is accepted.
"""
commands = [self.positionChanged()]
if any(commands):
self.session.undostack.beginMacro('edit {0} properties'.format(
self.node.name))
for command in commands:
if command:
self.session.undostack.push(command)
self.session.undostack.endMacro()
super().accept()
#############################################
# AUXILIARY METHODS
#################################
def positionChanged(self):
"""
Move the node properly if the position has been changed.
:rtype: QUndoCommand
"""
rect = self.diagram.sceneRect()
xPos = clamp(self.xField.value(), rect.left(), rect.right())
yPos = clamp(self.yField.value(), rect.top(), rect.bottom())
pos1 = self.node.pos()
pos2 = QtCore.QPointF(xPos, yPos)
if pos1 != pos2:
initData = self.diagram.setupMove([self.node])
moveData = self.diagram.completeMove(initData, pos2 - pos1)
return CommandNodeMove(self.diagram, initData, moveData)
return None
def __init__(self, diagram, node, session):
"""
Initialize the node properties dialog.
:type diagram: Diagram
:type node: AbstractNode
:type session: Session
"""
super().__init__(session)
self.diagram = diagram
self.node = node
#############################################
# GENERAL TAB
#################################
self.idLabel = QtWidgets.QLabel(self)
self.idLabel.setText('ID')
self.idField = StringField(self)
self.idField.setFixedWidth(300)
self.idField.setFocusPolicy(QtCore.Qt.NoFocus)
self.idField.setReadOnly(True)
self.idField.setValue(self.node.id)
self.typeLabel = QtWidgets.QLabel(self)
self.typeLabel.setText('Type')
self.typeField = StringField(self)
self.typeField.setFocusPolicy(QtCore.Qt.NoFocus)
self.typeField.setFixedWidth(300)
self.typeField.setReadOnly(True)
self.typeField.setValue(node.shortName.capitalize())
self.identityLabel = QtWidgets.QLabel(self)
self.identityLabel.setText('Identity')
self.identityField = StringField(self)
self.identityField.setFocusPolicy(QtCore.Qt.NoFocus)
self.identityField.setFixedWidth(300)
self.identityField.setReadOnly(True)
self.identityField.setValue(self.node.identityName)
self.neighboursLabel = QtWidgets.QLabel(self)
self.neighboursLabel.setText('Neighbours')
self.neighboursField = IntegerField(self)
self.neighboursField.setFocusPolicy(QtCore.Qt.NoFocus)
self.neighboursField.setFixedWidth(300)
self.neighboursField.setReadOnly(True)
self.neighboursField.setValue(len(self.node.adjacentNodes()))
self.generalWidget = QtWidgets.QWidget()
self.generalLayout = QtWidgets.QFormLayout(self.generalWidget)
self.generalLayout.addRow(self.idLabel, self.idField)
self.generalLayout.addRow(self.typeLabel, self.typeField)
self.generalLayout.addRow(self.identityLabel, self.identityField)
self.generalLayout.addRow(self.neighboursLabel, self.neighboursField)
#############################################
# GEOMETRY TAB
#################################
nodePos = self.node.pos()
sceneRect = self.diagram.sceneRect()
self.xLabel = QtWidgets.QLabel(self)
self.xLabel.setText('X')
self.xField = SpinBox(self)
self.xField.setFixedWidth(60)
self.xField.setRange(sceneRect.left(), sceneRect.right())
self.xField.setValue(int(nodePos.x()))
self.yLabel = QtWidgets.QLabel(self)
self.yLabel.setText('Y')
self.yField = SpinBox(self)
self.yField.setFixedWidth(60)
self.yField.setRange(sceneRect.top(), sceneRect.bottom())
self.yField.setValue(int(nodePos.y()))
self.widthLabel = QtWidgets.QLabel(self)
self.widthLabel.setText('Width')
self.widthField = SpinBox(self)
self.widthField.setFixedWidth(60)
self.widthField.setRange(20, sceneRect.width())
self.widthField.setReadOnly(True)
self.widthField.setValue(int(self.node.width()))
self.heightLabel = QtWidgets.QLabel(self)
self.heightLabel.setText('Height')
self.heightField = SpinBox(self)
self.heightField.setFixedWidth(60)
self.heightField.setRange(20, sceneRect.height())
self.heightField.setReadOnly(True)
self.heightField.setValue(int(self.node.height()))
self.geometryWidget = QtWidgets.QWidget()
self.geometryLayout = QtWidgets.QFormLayout(self.geometryWidget)
self.geometryLayout.addRow(self.xLabel, self.xField)
self.geometryLayout.addRow(self.yLabel, self.yField)
self.geometryLayout.addRow(self.widthLabel, self.widthField)
self.geometryLayout.addRow(self.heightLabel, self.heightField)
#############################################
# CONFIRMATION BOX
#################################
self.confirmationBox = QtWidgets.QDialogButtonBox(
QtCore.Qt.Horizontal, self)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Ok)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Cancel)
self.confirmationBox.setContentsMargins(10, 0, 10, 10)
#############################################
# MAIN WIDGET
#################################
self.mainWidget = QtWidgets.QTabWidget(self)
self.mainWidget.addTab(self.generalWidget, 'General')
self.mainWidget.addTab(self.geometryWidget, 'Geometry')
self.mainLayout = QtWidgets.QVBoxLayout(self)
self.mainLayout.setContentsMargins(0, 0, 0, 0)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.confirmationBox, 0,
QtCore.Qt.AlignRight)
self.setWindowTitle('Properties: {0}'.format(self.node))
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
connect(self.confirmationBox.accepted, self.complete)
connect(self.confirmationBox.rejected, self.reject)
class DiagramProperty(PropertyDialog):
"""
This class implements the diagram properties dialog.
"""
def __init__(self, diagram, session):
"""
Initialize the diagram properties dialog.
:type diagram: Diagram
:type session: Session
"""
super().__init__(session)
self.diagram = diagram
#############################################
# GENERAL TAB
#################################
self.nodesLabel = QtWidgets.QLabel(self)
self.nodesLabel.setFont(Font('Roboto', 12))
self.nodesLabel.setText('N° nodes')
self.nodesField = IntegerField(self)
self.nodesField.setFixedWidth(300)
self.nodesField.setFont(Font('Roboto', 12))
self.nodesField.setReadOnly(True)
self.nodesField.setValue(len(self.diagram.nodes()))
self.edgesLabel = QtWidgets.QLabel(self)
self.edgesLabel.setFont(Font('Roboto', 12))
self.edgesLabel.setText('N° edges')
self.edgesField = IntegerField(self)
self.edgesField.setFixedWidth(300)
self.edgesField.setFont(Font('Roboto', 12))
self.edgesField.setReadOnly(True)
self.edgesField.setValue(len(self.diagram.edges()))
self.generalWidget = QtWidgets.QWidget()
self.generalLayout = QtWidgets.QFormLayout(self.generalWidget)
self.generalLayout.addRow(self.nodesLabel, self.nodesField)
self.generalLayout.addRow(self.edgesLabel, self.edgesField)
#############################################
# GEOMETRY TAB
#################################
sceneRect = self.diagram.sceneRect()
self.diagramSizeLabel = QtWidgets.QLabel(self)
self.diagramSizeLabel.setFont(Font('Roboto', 12))
self.diagramSizeLabel.setText('Size')
self.diagramSizeField = SpinBox(self)
self.diagramSizeField.setFont(Font('Roboto', 12))
self.diagramSizeField.setRange(Diagram.MinSize, Diagram.MaxSize)
self.diagramSizeField.setSingleStep(100)
self.diagramSizeField.setValue(max(sceneRect.width(), sceneRect.height()))
self.geometryWidget = QtWidgets.QWidget()
self.geometryLayout = QtWidgets.QFormLayout(self.geometryWidget)
self.geometryLayout.addRow(self.diagramSizeLabel, self.diagramSizeField)
#############################################
# CONFIRMATION BOX
#################################
self.confirmationBox = QtWidgets.QDialogButtonBox(QtCore.Qt.Horizontal, self)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Ok)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Cancel)
self.confirmationBox.setContentsMargins(10, 0, 10, 10)
self.confirmationBox.setFont(Font('Roboto', 12))
#############################################
# MAIN WIDGET
#################################
self.mainWidget = QtWidgets.QTabWidget(self)
self.mainWidget.addTab(self.generalWidget,'General')
self.mainWidget.addTab(self.geometryWidget, 'Geometry')
self.mainLayout = QtWidgets.QVBoxLayout(self)
self.mainLayout.setContentsMargins(0, 0, 0, 0)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.confirmationBox, 0, QtCore.Qt.AlignRight)
self.setWindowTitle('Properties: {0}'.format(self.diagram.name))
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
connect(self.confirmationBox.accepted, self.complete)
connect(self.confirmationBox.rejected, self.reject)
#############################################
# SLOTS
#################################
@QtCore.pyqtSlot()
def complete(self):
"""
Executed when the dialog is accepted.
"""
commands = [self.diagramSizeChanged()]
if any(commands):
self.session.undostack.beginMacro('edit {0} properties'.format(self.diagram.name))
for command in commands:
if command:
self.session.undostack.push(command)
self.session.undostack.endMacro()
super().accept()
#############################################
# AUXILIARY METHODS
#################################
def diagramSizeChanged(self):
"""
Change the size of the diagram.
:rtype: QUndoCommand
"""
sceneRect = self.diagram.sceneRect()
size1 = max(sceneRect.width(), sceneRect.height())
size2 = self.diagramSizeField.value()
if size1 != size2:
items = self.diagram.items()
if items:
x = set()
y = set()
for item in items:
if item.isEdge() or item.isNode():
b = item.mapRectToScene(item.boundingRect())
x.update({b.left(), b.right()})
y.update({b.top(), b.bottom()})
size2 = max(size2, abs(min(x) * 2), abs(max(x) * 2), abs(min(y) * 2), abs(max(y) * 2))
return CommandDiagramResize(self.diagram, QtCore.QRectF(-size2 / 2, -size2 / 2, size2, size2))
return None
def __init__(self, diagram, session):
"""
Initialize the diagram properties dialog.
:type diagram: Diagram
:type session: Session
"""
super().__init__(session)
self.diagram = diagram
#############################################
# GENERAL TAB
#################################
self.nodesLabel = QtWidgets.QLabel(self)
self.nodesLabel.setFont(Font('Roboto', 12))
self.nodesLabel.setText('N° nodes')
self.nodesField = IntegerField(self)
self.nodesField.setFixedWidth(300)
self.nodesField.setFont(Font('Roboto', 12))
self.nodesField.setReadOnly(True)
self.nodesField.setValue(len(self.diagram.nodes()))
self.edgesLabel = QtWidgets.QLabel(self)
self.edgesLabel.setFont(Font('Roboto', 12))
self.edgesLabel.setText('N° edges')
self.edgesField = IntegerField(self)
self.edgesField.setFixedWidth(300)
self.edgesField.setFont(Font('Roboto', 12))
self.edgesField.setReadOnly(True)
self.edgesField.setValue(len(self.diagram.edges()))
self.generalWidget = QtWidgets.QWidget()
self.generalLayout = QtWidgets.QFormLayout(self.generalWidget)
self.generalLayout.addRow(self.nodesLabel, self.nodesField)
self.generalLayout.addRow(self.edgesLabel, self.edgesField)
#############################################
# GEOMETRY TAB
#################################
sceneRect = self.diagram.sceneRect()
self.diagramSizeLabel = QtWidgets.QLabel(self)
self.diagramSizeLabel.setFont(Font('Roboto', 12))
self.diagramSizeLabel.setText('Size')
self.diagramSizeField = SpinBox(self)
self.diagramSizeField.setFont(Font('Roboto', 12))
self.diagramSizeField.setRange(Diagram.MinSize, Diagram.MaxSize)
self.diagramSizeField.setSingleStep(100)
self.diagramSizeField.setValue(max(sceneRect.width(), sceneRect.height()))
self.geometryWidget = QtWidgets.QWidget()
self.geometryLayout = QtWidgets.QFormLayout(self.geometryWidget)
self.geometryLayout.addRow(self.diagramSizeLabel, self.diagramSizeField)
#############################################
# CONFIRMATION BOX
#################################
self.confirmationBox = QtWidgets.QDialogButtonBox(QtCore.Qt.Horizontal, self)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Ok)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Cancel)
self.confirmationBox.setContentsMargins(10, 0, 10, 10)
self.confirmationBox.setFont(Font('Roboto', 12))
#############################################
# MAIN WIDGET
#################################
self.mainWidget = QtWidgets.QTabWidget(self)
self.mainWidget.addTab(self.generalWidget,'General')
self.mainWidget.addTab(self.geometryWidget, 'Geometry')
self.mainLayout = QtWidgets.QVBoxLayout(self)
self.mainLayout.setContentsMargins(0, 0, 0, 0)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.confirmationBox, 0, QtCore.Qt.AlignRight)
self.setWindowTitle('Properties: {0}'.format(self.diagram.name))
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
connect(self.confirmationBox.accepted, self.complete)
connect(self.confirmationBox.rejected, self.reject)
class NodeProperty(PropertyDialog):
"""
This class implements the 'Node property' dialog.
"""
def __init__(self, diagram, node, session):
"""
Initialize the node properties dialog.
:type diagram: Diagram
:type node: AbstractNode
:type session: Session
"""
super().__init__(session)
self.diagram = diagram
self.node = node
#############################################
# GENERAL TAB
#################################
self.idLabel = QtWidgets.QLabel(self)
self.idLabel.setFont(Font('Roboto', 12))
self.idLabel.setText('ID')
self.idField = StringField(self)
self.idField.setFont(Font('Roboto', 12))
self.idField.setFixedWidth(300)
self.idField.setFocusPolicy(QtCore.Qt.NoFocus)
self.idField.setReadOnly(True)
self.idField.setValue(self.node.id)
self.typeLabel = QtWidgets.QLabel(self)
self.typeLabel.setFont(Font('Roboto', 12))
self.typeLabel.setText('Type')
self.typeField = StringField(self)
self.typeField.setFont(Font('Roboto', 12))
self.typeField.setFocusPolicy(QtCore.Qt.NoFocus)
self.typeField.setFixedWidth(300)
self.typeField.setReadOnly(True)
self.typeField.setValue(node.shortName.capitalize())
self.identityLabel = QtWidgets.QLabel(self)
self.identityLabel.setFont(Font('Roboto', 12))
self.identityLabel.setText('Identity')
self.identityField = StringField(self)
self.identityField.setFont(Font('Roboto', 12))
self.identityField.setFocusPolicy(QtCore.Qt.NoFocus)
self.identityField.setFixedWidth(300)
self.identityField.setReadOnly(True)
self.identityField.setValue(self.node.identityName)
self.neighboursLabel = QtWidgets.QLabel(self)
self.neighboursLabel.setFont(Font('Roboto', 12))
self.neighboursLabel.setText('Neighbours')
self.neighboursField = IntegerField(self)
self.neighboursField.setFont(Font('Roboto', 12))
self.neighboursField.setFocusPolicy(QtCore.Qt.NoFocus)
self.neighboursField.setFixedWidth(300)
self.neighboursField.setReadOnly(True)
self.neighboursField.setValue(len(self.node.adjacentNodes()))
self.generalWidget = QtWidgets.QWidget()
self.generalLayout = QtWidgets.QFormLayout(self.generalWidget)
self.generalLayout.addRow(self.idLabel, self.idField)
self.generalLayout.addRow(self.typeLabel, self.typeField)
self.generalLayout.addRow(self.identityLabel, self.identityField)
self.generalLayout.addRow(self.neighboursLabel, self.neighboursField)
#############################################
# GEOMETRY TAB
#################################
nodePos = self.node.pos()
sceneRect = self.diagram.sceneRect()
self.xLabel = QtWidgets.QLabel(self)
self.xLabel.setFont(Font('Roboto', 12))
self.xLabel.setText('X')
self.xField = SpinBox(self)
self.xField.setFixedWidth(60)
self.xField.setFont(Font('Roboto', 12))
self.xField.setRange(sceneRect.left(), sceneRect.right())
self.xField.setValue(int(nodePos.x()))
self.yLabel = QtWidgets.QLabel(self)
self.yLabel.setFont(Font('Roboto', 12))
self.yLabel.setText('Y')
self.yField = SpinBox(self)
self.yField.setFixedWidth(60)
self.yField.setFont(Font('Roboto', 12))
self.yField.setRange(sceneRect.top(), sceneRect.bottom())
self.yField.setValue(int(nodePos.y()))
self.widthLabel = QtWidgets.QLabel(self)
self.widthLabel.setFont(Font('Roboto', 12))
self.widthLabel.setText('Width')
self.widthField = SpinBox(self)
self.widthField.setFixedWidth(60)
self.widthField.setFont(Font('Roboto', 12))
self.widthField.setRange(20, sceneRect.width())
self.widthField.setReadOnly(True)
self.widthField.setValue(int(self.node.width()))
self.heightLabel = QtWidgets.QLabel(self)
self.heightLabel.setFont(Font('Roboto', 12))
self.heightLabel.setText('Height')
self.heightField = SpinBox(self)
self.heightField.setFixedWidth(60)
self.heightField.setFont(Font('Roboto', 12))
self.heightField.setRange(20, sceneRect.height())
self.heightField.setReadOnly(True)
self.heightField.setValue(int(self.node.height()))
self.geometryWidget = QtWidgets.QWidget()
self.geometryLayout = QtWidgets.QFormLayout(self.geometryWidget)
self.geometryLayout.addRow(self.xLabel, self.xField)
self.geometryLayout.addRow(self.yLabel, self.yField)
self.geometryLayout.addRow(self.widthLabel, self.widthField)
self.geometryLayout.addRow(self.heightLabel, self.heightField)
#############################################
# CONFIRMATION BOX
#################################
self.confirmationBox = QtWidgets.QDialogButtonBox(QtCore.Qt.Horizontal, self)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Ok)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Cancel)
self.confirmationBox.setContentsMargins(10, 0, 10, 10)
self.confirmationBox.setFont(Font('Roboto', 12))
#############################################
# MAIN WIDGET
#################################
self.mainWidget = QtWidgets.QTabWidget(self)
self.mainWidget.addTab(self.generalWidget, 'General')
self.mainWidget.addTab(self.geometryWidget, 'Geometry')
self.mainLayout = QtWidgets.QVBoxLayout(self)
self.mainLayout.setContentsMargins(0, 0, 0, 0)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.confirmationBox, 0, QtCore.Qt.AlignRight)
self.setWindowTitle('Properties: {0}'.format(self.node))
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
connect(self.confirmationBox.accepted, self.complete)
connect(self.confirmationBox.rejected, self.reject)
#############################################
# SLOTS
#################################
@QtCore.pyqtSlot()
def complete(self):
"""
Executed when the dialog is accepted.
"""
commands = [self.positionChanged()]
if any(commands):
self.session.undostack.beginMacro('edit {0} properties'.format(self.node.name))
for command in commands:
if command:
self.session.undostack.push(command)
self.session.undostack.endMacro()
super().accept()
#############################################
# AUXILIARY METHODS
#################################
def positionChanged(self):
"""
Move the node properly if the position has been changed.
:rtype: QUndoCommand
"""
rect = self.diagram.sceneRect()
xPos = clamp(self.xField.value(), rect.left(), rect.right())
yPos = clamp(self.yField.value(), rect.top(), rect.bottom())
pos1 = self.node.pos()
pos2 = QtCore.QPointF(xPos, yPos)
if pos1 != pos2:
node = self.node
data = {
'redo': {
'nodes': {node: {'anchors': {k: v + pos2 - pos1 for k, v in node.anchors.items()}, 'pos': pos2}},
'edges': {},
},
'undo': {
'nodes': {node: {'anchors': {k: v for k, v in node.anchors.items()}, 'pos': pos1}},
'edges': {}
}
}
return CommandNodeMove(self.diagram, data)
return None
def __init__(self, diagram, node, session):
"""
Initialize the node properties dialog.
:type diagram: Diagram
:type node: AbstractNode
:type session: Session
"""
super().__init__(session)
self.diagram = diagram
self.node = node
#############################################
# GENERAL TAB
#################################
self.idLabel = QtWidgets.QLabel(self)
self.idLabel.setFont(Font('Roboto', 12))
self.idLabel.setText('ID')
self.idField = StringField(self)
self.idField.setFont(Font('Roboto', 12))
self.idField.setFixedWidth(300)
self.idField.setFocusPolicy(QtCore.Qt.NoFocus)
self.idField.setReadOnly(True)
self.idField.setValue(self.node.id)
self.typeLabel = QtWidgets.QLabel(self)
self.typeLabel.setFont(Font('Roboto', 12))
self.typeLabel.setText('Type')
self.typeField = StringField(self)
self.typeField.setFont(Font('Roboto', 12))
self.typeField.setFocusPolicy(QtCore.Qt.NoFocus)
self.typeField.setFixedWidth(300)
self.typeField.setReadOnly(True)
self.typeField.setValue(node.shortName.capitalize())
self.identityLabel = QtWidgets.QLabel(self)
self.identityLabel.setFont(Font('Roboto', 12))
self.identityLabel.setText('Identity')
self.identityField = StringField(self)
self.identityField.setFont(Font('Roboto', 12))
self.identityField.setFocusPolicy(QtCore.Qt.NoFocus)
self.identityField.setFixedWidth(300)
self.identityField.setReadOnly(True)
self.identityField.setValue(self.node.identityName)
self.neighboursLabel = QtWidgets.QLabel(self)
self.neighboursLabel.setFont(Font('Roboto', 12))
self.neighboursLabel.setText('Neighbours')
self.neighboursField = IntegerField(self)
self.neighboursField.setFont(Font('Roboto', 12))
self.neighboursField.setFocusPolicy(QtCore.Qt.NoFocus)
self.neighboursField.setFixedWidth(300)
self.neighboursField.setReadOnly(True)
self.neighboursField.setValue(len(self.node.adjacentNodes()))
self.generalWidget = QtWidgets.QWidget()
self.generalLayout = QtWidgets.QFormLayout(self.generalWidget)
self.generalLayout.addRow(self.idLabel, self.idField)
self.generalLayout.addRow(self.typeLabel, self.typeField)
self.generalLayout.addRow(self.identityLabel, self.identityField)
self.generalLayout.addRow(self.neighboursLabel, self.neighboursField)
#############################################
# GEOMETRY TAB
#################################
nodePos = self.node.pos()
sceneRect = self.diagram.sceneRect()
self.xLabel = QtWidgets.QLabel(self)
self.xLabel.setFont(Font('Roboto', 12))
self.xLabel.setText('X')
self.xField = SpinBox(self)
self.xField.setFixedWidth(60)
self.xField.setFont(Font('Roboto', 12))
self.xField.setRange(sceneRect.left(), sceneRect.right())
self.xField.setValue(int(nodePos.x()))
self.yLabel = QtWidgets.QLabel(self)
self.yLabel.setFont(Font('Roboto', 12))
self.yLabel.setText('Y')
self.yField = SpinBox(self)
self.yField.setFixedWidth(60)
self.yField.setFont(Font('Roboto', 12))
self.yField.setRange(sceneRect.top(), sceneRect.bottom())
self.yField.setValue(int(nodePos.y()))
self.widthLabel = QtWidgets.QLabel(self)
self.widthLabel.setFont(Font('Roboto', 12))
self.widthLabel.setText('Width')
self.widthField = SpinBox(self)
self.widthField.setFixedWidth(60)
self.widthField.setFont(Font('Roboto', 12))
self.widthField.setRange(20, sceneRect.width())
self.widthField.setReadOnly(True)
self.widthField.setValue(int(self.node.width()))
self.heightLabel = QtWidgets.QLabel(self)
self.heightLabel.setFont(Font('Roboto', 12))
self.heightLabel.setText('Height')
self.heightField = SpinBox(self)
self.heightField.setFixedWidth(60)
self.heightField.setFont(Font('Roboto', 12))
self.heightField.setRange(20, sceneRect.height())
self.heightField.setReadOnly(True)
self.heightField.setValue(int(self.node.height()))
self.geometryWidget = QtWidgets.QWidget()
self.geometryLayout = QtWidgets.QFormLayout(self.geometryWidget)
self.geometryLayout.addRow(self.xLabel, self.xField)
self.geometryLayout.addRow(self.yLabel, self.yField)
self.geometryLayout.addRow(self.widthLabel, self.widthField)
self.geometryLayout.addRow(self.heightLabel, self.heightField)
#############################################
# CONFIRMATION BOX
#################################
self.confirmationBox = QtWidgets.QDialogButtonBox(QtCore.Qt.Horizontal, self)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Ok)
self.confirmationBox.addButton(QtWidgets.QDialogButtonBox.Cancel)
self.confirmationBox.setContentsMargins(10, 0, 10, 10)
self.confirmationBox.setFont(Font('Roboto', 12))
#############################################
# MAIN WIDGET
#################################
self.mainWidget = QtWidgets.QTabWidget(self)
self.mainWidget.addTab(self.generalWidget, 'General')
self.mainWidget.addTab(self.geometryWidget, 'Geometry')
self.mainLayout = QtWidgets.QVBoxLayout(self)
self.mainLayout.setContentsMargins(0, 0, 0, 0)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.confirmationBox, 0, QtCore.Qt.AlignRight)
self.setWindowTitle('Properties: {0}'.format(self.node))
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
connect(self.confirmationBox.accepted, self.complete)
connect(self.confirmationBox.rejected, self.reject)
def __init__(self, mainwindow):
"""
Initialize the Preferences dialog.
:type mainwindow: QMainWindow
"""
super().__init__(mainwindow)
self.mainwindow = mainwindow
################################################################################################################
# #
# EDITOR TAB #
# #
################################################################################################################
self.diagramSizeF = SpinBox(self)
self.diagramSizeF.setRange(2000, 1000000)
self.diagramSizeF.setSingleStep(100)
self.diagramSizeF.setValue(self.mainwindow.diagramSize)
self.editorWidget = QWidget()
self.editorLayout = QFormLayout(self.editorWidget)
self.editorLayout.addRow('Diagram size', self.diagramSizeF)
################################################################################################################
# #
# MAIN WIDGET #
# #
################################################################################################################
self.mainWidget = QTabWidget(self)
self.mainWidget.addTab(self.editorWidget, 'Editor')
################################################################################################################
# #
# BUTTON BOX #
# #
################################################################################################################
self.buttonBox = QDialogButtonBox(QDialogButtonBox.Save | QDialogButtonBox.Close, Qt.Horizontal, self)
################################################################################################################
# #
# MAIN LAYOUT #
# #
################################################################################################################
self.mainLayout = QVBoxLayout(self)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.buttonBox, 0, Qt.AlignRight)
self.setFixedSize(self.sizeHint())
self.setWindowTitle('Preferences')
################################################################################################################
# #
# CONFIGURE SIGNALS #
# #
################################################################################################################
connect(self.buttonBox.accepted, self.accept)
connect(self.buttonBox.rejected, self.reject)
connect(self.finished, self.completed)
def __init__(self, session):
"""
Initialize the Preferences dialog.
:type session: Session
"""
super().__init__(session)
settings = QtCore.QSettings(ORGANIZATION, APPNAME)
#############################################
# GENERAL TAB
#################################
## EDITOR GROUP
prefix = QtWidgets.QLabel(self, objectName='diagram_size_prefix')
prefix.setFont(Font('Roboto', 12))
prefix.setText('Diagram size')
self.addWidget(prefix)
spinbox = SpinBox(self, objectName='diagram_size_field')
spinbox.setFont(Font('Roboto', 12))
spinbox.setRange(Diagram.MinSize, Diagram.MaxSize)
spinbox.setSingleStep(100)
spinbox.setToolTip('Default size of all the new created diagrams')
spinbox.setValue(settings.value('diagram/size', 5000, int))
self.addWidget(spinbox)
formlayout = QtWidgets.QFormLayout()
formlayout.addRow(self.widget('diagram_size_prefix'), self.widget('diagram_size_field'))
groupbox = QtWidgets.QGroupBox('Editor', self, objectName='editor_widget')
groupbox.setLayout(formlayout)
self.addWidget(groupbox)
## UPDATE GROUP
prefix = QtWidgets.QLabel(self, objectName='update_startup_prefix')
prefix.setFont(Font('Roboto', 12))
prefix.setText('Check for updates on startup')
self.addWidget(prefix)
checkbox = CheckBox(self, objectName='update_startup_checkbox')
checkbox.setChecked(settings.value('update/check_on_startup', True, bool))
checkbox.setFont(Font('Roboto', 12))
checkbox.setToolTip('Whether or not application updates needs to be checked upon startup')
self.addWidget(checkbox)
prefix = QtWidgets.QLabel(self, objectName='update_channel_prefix')
prefix.setFont(Font('Roboto', 12))
prefix.setText('Update channel')
self.addWidget(prefix)
combobox = ComboBox(objectName='update_channel_switch')
combobox.setEditable(False)
combobox.setFont(Font('Roboto', 12))
combobox.setFocusPolicy(QtCore.Qt.StrongFocus)
combobox.setScrollEnabled(False)
combobox.setToolTip('Update channel (current = %s)' % settings.value('update/channel', Channel.Stable.value, str))
combobox.addItems([x.value for x in Channel])
combobox.setCurrentText(settings.value('update/channel', Channel.Stable.value, str))
self.addWidget(combobox)
formlayout = QtWidgets.QFormLayout()
formlayout.addRow(self.widget('update_startup_prefix'), self.widget('update_startup_checkbox'))
formlayout.addRow(self.widget('update_channel_prefix'), self.widget('update_channel_switch'))
groupbox = QtWidgets.QGroupBox('Update', self, objectName='update_widget')
groupbox.setLayout(formlayout)
self.addWidget(groupbox)
## GENERAL TAB LAYOUT CONFIGURATION
layout = QtWidgets.QVBoxLayout()
layout.setAlignment(QtCore.Qt.AlignTop)
layout.addWidget(self.widget('editor_widget'), 0, QtCore.Qt.AlignTop)
layout.addWidget(self.widget('update_widget'), 0, QtCore.Qt.AlignTop)
widget = QtWidgets.QWidget()
widget.setLayout(layout)
widget.setObjectName('general_widget')
self.addWidget(widget)
#############################################
# EXPORT TAB
#################################
self.checks = {x: CheckBox(x.value, self) for x in OWLAxiom}
for axiom, checkbox in self.checks.items():
checkbox.setChecked(settings.value('export/axiom/{}'.format(axiom.value), True, bool))
## NON-LOGICAL GROUP
layout = QtWidgets.QGridLayout()
layout.setColumnMinimumWidth(0, 230)
layout.setColumnMinimumWidth(1, 230)
layout.setColumnMinimumWidth(2, 230)
layout.addWidget(self.checks[OWLAxiom.Annotation], 0, 0)
layout.addWidget(self.checks[OWLAxiom.Declaration], 0, 1)
layout.addWidget(QtWidgets.QWidget(self), 0, 2)
widget = QtWidgets.QGroupBox('Non-Logical', self, objectName='axioms_non_logical')
widget.setLayout(layout)
self.addWidget(widget)
## INTENSIONAL GROUP
layout = QtWidgets.QGridLayout()
layout.setColumnMinimumWidth(0, 230)
layout.setColumnMinimumWidth(1, 230)
layout.setColumnMinimumWidth(2, 230)
layout.addWidget(self.checks[OWLAxiom.AsymmetricObjectProperty], 0, 0)
layout.addWidget(self.checks[OWLAxiom.DataPropertyDomain], 1, 0)
layout.addWidget(self.checks[OWLAxiom.DataPropertyRange], 2, 0)
layout.addWidget(self.checks[OWLAxiom.DisjointClasses], 3, 0)
layout.addWidget(self.checks[OWLAxiom.DisjointDataProperties], 4, 0)
layout.addWidget(self.checks[OWLAxiom.DisjointObjectProperties], 5, 0)
layout.addWidget(self.checks[OWLAxiom.EquivalentClasses], 6, 0)
layout.addWidget(self.checks[OWLAxiom.EquivalentDataProperties], 7, 0)
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)
widget = QtWidgets.QGroupBox('Intensional', self, objectName='axioms_intensional')
widget.setLayout(layout)
self.addWidget(widget)
## EXTENSIONAL GROUP
layout = QtWidgets.QGridLayout()
layout.setColumnMinimumWidth(0, 230)
layout.setColumnMinimumWidth(1, 230)
layout.setColumnMinimumWidth(2, 230)
layout.addWidget(self.checks[OWLAxiom.ClassAssertion], 0, 0)
layout.addWidget(self.checks[OWLAxiom.DataPropertyAssertion], 1, 0)
layout.addWidget(self.checks[OWLAxiom.NegativeDataPropertyAssertion], 0, 1)
layout.addWidget(self.checks[OWLAxiom.NegativeObjectPropertyAssertion], 1, 1)
layout.addWidget(self.checks[OWLAxiom.ObjectPropertyAssertion], 0, 2)
widget = QtWidgets.QGroupBox('Extensional', self, objectName='axioms_extensional')
widget.setLayout(layout)
self.addWidget(widget)
## LOGICAL GROUP
layout = QtWidgets.QVBoxLayout()
layout.addWidget(self.widget('axioms_intensional'))
layout.addWidget(self.widget('axioms_extensional'))
widget = QtWidgets.QGroupBox('Logical', self, objectName='axioms_logical')
widget.setLayout(layout)
self.addWidget(widget)
## EXPORT TAB LAYOUT CONFIGURATION
layout = QtWidgets.QVBoxLayout()
layout.addWidget(self.widget('axioms_non_logical'))
layout.addWidget(self.widget('axioms_logical'))
groupbox = QtWidgets.QGroupBox('OWL 2 Axioms for which exporting is enabled', self)
groupbox.setLayout(layout)
layout = QtWidgets.QVBoxLayout()
layout.setContentsMargins(10, 10, 10, 10)
layout.addWidget(groupbox)
widget = QtWidgets.QWidget(self, objectName='axioms_widget')
widget.setLayout(layout)
self.addWidget(widget)
#############################################
# PLUGINS TAB
#################################
table = QtWidgets.QTableWidget(len(self.session.plugins()), 5, self, objectName='plugins_table')
table.setHorizontalHeaderLabels(['Name', 'Version', 'Author', 'Contact', 'Uninstall'])
table.setFont(Font('Roboto', 12))
table.setSelectionMode(QtWidgets.QAbstractItemView.NoSelection)
table.setFocusPolicy(QtCore.Qt.NoFocus)
self.addWidget(table)
header = table.horizontalHeader()
header.setSectionResizeMode(0, QtWidgets.QHeaderView.Stretch)
header.setSectionResizeMode(1, QtWidgets.QHeaderView.Fixed)
header.setSectionResizeMode(2, QtWidgets.QHeaderView.Stretch)
header.setSectionResizeMode(3, QtWidgets.QHeaderView.Stretch)
header.setSectionResizeMode(4, QtWidgets.QHeaderView.Fixed)
header.setSectionsClickable(False)
header.setSectionsMovable(False)
header = table.verticalHeader()
header.setSectionResizeMode(QtWidgets.QHeaderView.Fixed)
self.uninstall = dict()
for row, plugin in enumerate(sorted(self.session.plugins(), key=lambda x: x.name())):
item = QtWidgets.QTableWidgetItem(plugin.name())
item.setTextAlignment(QtCore.Qt.AlignLeft|QtCore.Qt.AlignVCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 0, item)
item = QtWidgets.QTableWidgetItem('v{0}'.format(plugin.version()))
item.setTextAlignment(QtCore.Qt.AlignCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 1, item)
item = QtWidgets.QTableWidgetItem(plugin.author())
item.setTextAlignment(QtCore.Qt.AlignCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 2, item)
item = QtWidgets.QTableWidgetItem(plugin.contact())
item.setTextAlignment(QtCore.Qt.AlignCenter)
item.setFlags(item.flags() ^ QtCore.Qt.ItemIsEditable)
table.setItem(row, 3, item)
p_widget = QtWidgets.QWidget()
p_checkbox = CheckBox()
p_checkbox.setEnabled(not plugin.isBuiltIn())
p_layout = QtWidgets.QHBoxLayout(p_widget)
p_layout.addWidget(p_checkbox)
p_layout.setAlignment(QtCore.Qt.AlignCenter)
p_layout.setContentsMargins(0, 0, 0, 0)
table.setCellWidget(row, 4, p_widget)
self.uninstall[plugin] = p_checkbox
button = QtWidgets.QToolButton(self, objectName='plugins_install_button')
button.setDefaultAction(self.session.action('install_plugin'))
button.setToolButtonStyle(QtCore.Qt.ToolButtonTextBesideIcon)
button.setFont(Font('Roboto', 13))
self.addWidget(button)
layout = QtWidgets.QVBoxLayout()
layout.addWidget(self.widget('plugins_table'), 1)
layout.addWidget(self.widget('plugins_install_button'), 0, QtCore.Qt.AlignRight)
widget = QtWidgets.QWidget(objectName='plugins_widget')
widget.setLayout(layout)
self.addWidget(widget)
#############################################
# CONFIRMATION BOX
#################################
confirmation = QtWidgets.QDialogButtonBox(QtCore.Qt.Horizontal, self, objectName='confirmation_widget')
confirmation.addButton(QtWidgets.QDialogButtonBox.Save)
confirmation.addButton(QtWidgets.QDialogButtonBox.Cancel)
confirmation.setContentsMargins(10, 0, 10, 10)
confirmation.setFont(Font('Roboto', 12))
self.addWidget(confirmation)
#############################################
# MAIN WIDGET
#################################
widget = QtWidgets.QTabWidget(self, objectName='main_widget')
widget.addTab(self.widget('general_widget'), QtGui.QIcon(':/icons/24/ic_settings_black'), 'General')
widget.addTab(self.widget('axioms_widget'), QtGui.QIcon(':/icons/24/ic_export_black'), 'Export')
widget.addTab(self.widget('plugins_widget'), QtGui.QIcon(':/icons/24/ic_extension_black'), 'Plugins')
self.addWidget(widget)
layout = QtWidgets.QVBoxLayout()
layout.setContentsMargins(0, 0, 0, 0)
layout.addWidget(self.widget('main_widget'))
layout.addWidget(self.widget('confirmation_widget'), 0, QtCore.Qt.AlignRight)
self.setLayout(layout)
self.setMinimumSize(740, 420)
self.setWindowIcon(QtGui.QIcon(':/icons/128/ic_eddy'))
self.setWindowTitle('Preferences')
connect(confirmation.accepted, self.accept)
connect(confirmation.rejected, self.reject)
def __init__(self, mainwindow):
"""
Initialize the Preferences dialog.
:type mainwindow: QMainWindow
"""
super().__init__(mainwindow)
self.mainwindow = mainwindow
################################################################################################################
# #
# EDITOR TAB #
# #
################################################################################################################
self.diagramSizeF = SpinBox(self)
self.diagramSizeF.setRange(2000, 1000000)
self.diagramSizeF.setSingleStep(100)
self.diagramSizeF.setValue(self.mainwindow.diagramSize)
self.editorWidget = QWidget()
self.editorLayout = QFormLayout(self.editorWidget)
self.editorLayout.addRow('Diagram size', self.diagramSizeF)
################################################################################################################
# #
# MAIN WIDGET #
# #
################################################################################################################
self.mainWidget = QTabWidget(self)
self.mainWidget.addTab(self.editorWidget, 'Editor')
################################################################################################################
# #
# BUTTON BOX #
# #
################################################################################################################
self.buttonBox = QDialogButtonBox(
QDialogButtonBox.Save | QDialogButtonBox.Close, Qt.Horizontal,
self)
################################################################################################################
# #
# MAIN LAYOUT #
# #
################################################################################################################
self.mainLayout = QVBoxLayout(self)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.buttonBox, 0, Qt.AlignRight)
self.setFixedSize(self.sizeHint())
self.setWindowTitle('Preferences')
################################################################################################################
# #
# CONFIGURE SIGNALS #
# #
################################################################################################################
connect(self.buttonBox.accepted, self.accept)
connect(self.buttonBox.rejected, self.reject)
connect(self.finished, self.completed)
def __init__(self, scene, node, parent=None):
"""
Initialize the node properties dialog.
:type scene: DiagramScene
:type node: AbstractNode
:type parent: QWidget
"""
super().__init__(parent)
self.node = node
self.scene = scene
# GENERAL
self.generalWidget = QWidget()
self.generalLayout = QFormLayout(self.generalWidget)
self.idField = StringField(self.generalWidget)
self.idField.setReadOnly(True)
self.idField.setFixedWidth(300)
self.idField.setValue(self.node.id)
self.itemField = StringField(self.generalWidget)
self.itemField.setReadOnly(True)
self.itemField.setFixedWidth(300)
self.itemField.setValue(node.shortname.capitalize())
self.showIdentityField = StringField(self.generalWidget)
self.showIdentityField.setReadOnly(True)
self.showIdentityField.setFixedWidth(300)
self.showIdentityField.setValue(self.node.identity.value)
self.generalLayout.addRow('ID', self.idField)
self.generalLayout.addRow('Type', self.itemField)
self.generalLayout.addRow('Identity', self.showIdentityField)
# GEOMETRY
self.geometryWidget = QWidget()
self.geometryLayout = QFormLayout(self.geometryWidget)
P = self.node.pos()
R = self.scene.sceneRect()
self.xField = SpinBox(self.geometryWidget)
self.xField.setFixedWidth(60)
self.xField.setRange(R.left(), R.right())
self.xField.setValue(int(P.x()))
self.yField = SpinBox(self.geometryWidget)
self.yField.setFixedWidth(60)
self.yField.setRange(R.top(), R.bottom())
self.yField.setValue(int(P.y()))
self.wField = SpinBox(self.geometryWidget)
self.wField.setRange(20, R.width())
self.wField.setReadOnly(True)
self.wField.setFixedWidth(60)
self.wField.setValue(int(self.node.width()))
self.hField = SpinBox(self.geometryWidget)
self.hField.setRange(20, R.height())
self.hField.setReadOnly(True)
self.hField.setFixedWidth(60)
self.hField.setValue(int(self.node.height()))
self.geometryLayout.addRow('X', self.xField)
self.geometryLayout.addRow('Y', self.yField)
self.geometryLayout.addRow('Width', self.wField)
self.geometryLayout.addRow('Height', self.hField)
# MAIN
self.mainWidget = QTabWidget(self)
self.mainWidget.addTab(self.generalWidget, 'General')
self.mainWidget.addTab(self.geometryWidget, 'Geometry')
self.buttonBox = QDialogButtonBox(
QDialogButtonBox.Ok | QDialogButtonBox.Cancel, Qt.Horizontal, self)
self.mainLayout = QVBoxLayout(self)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.buttonBox, 0, Qt.AlignRight)
self.setWindowTitle('Properties')
self.setWindowIcon(QIcon(':/images/eddy'))
connect(self.finished, self.completed)
connect(self.buttonBox.accepted, self.accept)
connect(self.buttonBox.rejected, self.reject)
class NodeProperty(QDialog):
"""
This class implements the 'Node property' dialog.
"""
def __init__(self, scene, node, parent=None):
"""
Initialize the node properties dialog.
:type scene: DiagramScene
:type node: AbstractNode
:type parent: QWidget
"""
super().__init__(parent)
self.node = node
self.scene = scene
# GENERAL
self.generalWidget = QWidget()
self.generalLayout = QFormLayout(self.generalWidget)
self.idField = StringField(self.generalWidget)
self.idField.setReadOnly(True)
self.idField.setFixedWidth(300)
self.idField.setValue(self.node.id)
self.itemField = StringField(self.generalWidget)
self.itemField.setReadOnly(True)
self.itemField.setFixedWidth(300)
self.itemField.setValue(node.shortname.capitalize())
self.showIdentityField = StringField(self.generalWidget)
self.showIdentityField.setReadOnly(True)
self.showIdentityField.setFixedWidth(300)
self.showIdentityField.setValue(self.node.identity.value)
self.generalLayout.addRow('ID', self.idField)
self.generalLayout.addRow('Type', self.itemField)
self.generalLayout.addRow('Identity', self.showIdentityField)
# GEOMETRY
self.geometryWidget = QWidget()
self.geometryLayout = QFormLayout(self.geometryWidget)
P = self.node.pos()
R = self.scene.sceneRect()
self.xField = SpinBox(self.geometryWidget)
self.xField.setFixedWidth(60)
self.xField.setRange(R.left(), R.right())
self.xField.setValue(int(P.x()))
self.yField = SpinBox(self.geometryWidget)
self.yField.setFixedWidth(60)
self.yField.setRange(R.top(), R.bottom())
self.yField.setValue(int(P.y()))
self.wField = SpinBox(self.geometryWidget)
self.wField.setRange(20, R.width())
self.wField.setReadOnly(True)
self.wField.setFixedWidth(60)
self.wField.setValue(int(self.node.width()))
self.hField = SpinBox(self.geometryWidget)
self.hField.setRange(20, R.height())
self.hField.setReadOnly(True)
self.hField.setFixedWidth(60)
self.hField.setValue(int(self.node.height()))
self.geometryLayout.addRow('X', self.xField)
self.geometryLayout.addRow('Y', self.yField)
self.geometryLayout.addRow('Width', self.wField)
self.geometryLayout.addRow('Height', self.hField)
# MAIN
self.mainWidget = QTabWidget(self)
self.mainWidget.addTab(self.generalWidget, 'General')
self.mainWidget.addTab(self.geometryWidget, 'Geometry')
self.buttonBox = QDialogButtonBox(
QDialogButtonBox.Ok | QDialogButtonBox.Cancel, Qt.Horizontal, self)
self.mainLayout = QVBoxLayout(self)
self.mainLayout.addWidget(self.mainWidget)
self.mainLayout.addWidget(self.buttonBox, 0, Qt.AlignRight)
self.setWindowTitle('Properties')
self.setWindowIcon(QIcon(':/images/eddy'))
connect(self.finished, self.completed)
connect(self.buttonBox.accepted, self.accept)
connect(self.buttonBox.rejected, self.reject)
####################################################################################################################
# #
# SLOTS #
# #
####################################################################################################################
@pyqtSlot(int)
def completed(self, code):
"""
Executed when the dialog is terminated.
:type code: int
"""
if code == QDialog.Accepted:
self.positionChanged()
def positionChanged(self):
"""
Move the node properly if the position has been changed.
"""
R = self.scene.sceneRect()
x = clamp(self.xField.value(), R.left(), R.right())
y = clamp(self.yField.value(), R.top(), R.bottom())
pos1 = self.node.pos()
pos2 = QPointF(x, y)
if pos1 != pos2:
commandData = {
'redo': {
'nodes': {
self.node: {
'anchors': {
k: v + pos2 - pos1
for k, v in self.node.anchors.items()
},
'pos': pos2,
}
},
'edges': {},
},
'undo': {
'nodes': {
self.node: {
'anchors':
{k: v
for k, v in self.node.anchors.items()},
'pos': pos1,
}
},
'edges': {}
}
}
self.scene.undostack.push(
CommandNodeMove(scene=self.scene, data=commandData))
