diff --git a/relational_gui/maingui.py b/relational_gui/maingui.py index 29ed85b..315a438 100644 --- a/relational_gui/maingui.py +++ b/relational_gui/maingui.py @@ -2,8 +2,7 @@ # Form implementation generated from reading ui file 'relational_gui/maingui.ui' # -# Created: Mon Feb 23 15:16:57 2015 -# by: PyQt5 UI code generator 5.3.2 +# Created by: PyQt5 UI code generator 5.4.1 # # WARNING! All changes made in this file will be lost! @@ -49,11 +48,11 @@ class Ui_MainWindow(object): self.cmdDifference.setObjectName("cmdDifference") self.verticalLayout_10.addWidget(self.cmdDifference) self.cmdUnion = QtWidgets.QPushButton(self.groupBox_4) - self.cmdUnion.setText("ᑌ") + self.cmdUnion.setText("∪") self.cmdUnion.setObjectName("cmdUnion") self.verticalLayout_10.addWidget(self.cmdUnion) self.cmdIntersection = QtWidgets.QPushButton(self.groupBox_4) - self.cmdIntersection.setText("ᑎ") + self.cmdIntersection.setText("∩") self.cmdIntersection.setObjectName("cmdIntersection") self.verticalLayout_10.addWidget(self.cmdIntersection) self.cmdDivision = QtWidgets.QPushButton(self.groupBox_4) @@ -61,19 +60,19 @@ class Ui_MainWindow(object): self.cmdDivision.setObjectName("cmdDivision") self.verticalLayout_10.addWidget(self.cmdDivision) self.cmdJoin = QtWidgets.QPushButton(self.groupBox_4) - self.cmdJoin.setText("ᐅᐊ") + self.cmdJoin.setText("⋈") self.cmdJoin.setObjectName("cmdJoin") self.verticalLayout_10.addWidget(self.cmdJoin) self.cmdOuterLeft = QtWidgets.QPushButton(self.groupBox_4) - self.cmdOuterLeft.setText("ᐅLEFTᐊ") + self.cmdOuterLeft.setText("⧑") self.cmdOuterLeft.setObjectName("cmdOuterLeft") self.verticalLayout_10.addWidget(self.cmdOuterLeft) self.cmdOuterRight = QtWidgets.QPushButton(self.groupBox_4) - self.cmdOuterRight.setText("ᐅRIGHTᐊ") + self.cmdOuterRight.setText("⧒") self.cmdOuterRight.setObjectName("cmdOuterRight") self.verticalLayout_10.addWidget(self.cmdOuterRight) self.cmdOuter = QtWidgets.QPushButton(self.groupBox_4) - self.cmdOuter.setText("ᐅFULLᐊ") + self.cmdOuter.setText("⧓") self.cmdOuter.setObjectName("cmdOuter") self.verticalLayout_10.addWidget(self.cmdOuter) self.cmdProjection = QtWidgets.QPushButton(self.groupBox_4) @@ -209,7 +208,7 @@ class Ui_MainWindow(object): self.verticalLayout_7.addLayout(self.horizontalLayout_2) MainWindow.setCentralWidget(self.centralwidget) self.menubar = QtWidgets.QMenuBar(MainWindow) - self.menubar.setGeometry(QtCore.QRect(0, 0, 800, 19)) + self.menubar.setGeometry(QtCore.QRect(0, 0, 800, 21)) self.menubar.setObjectName("menubar") self.menuFile = QtWidgets.QMenu(self.menubar) self.menuFile.setObjectName("menuFile") diff --git a/relational_gui/rel_edit.py b/relational_gui/rel_edit.py index 8a087cc..abfce8f 100644 --- a/relational_gui/rel_edit.py +++ b/relational_gui/rel_edit.py @@ -2,8 +2,7 @@ # Form implementation generated from reading ui file 'relational_gui/rel_edit.ui' # -# Created: Mon Feb 23 15:16:57 2015 -# by: PyQt5 UI code generator 5.3.2 +# Created by: PyQt5 UI code generator 5.4.1 # # WARNING! All changes made in this file will be lost! diff --git a/relational_gui/survey.py b/relational_gui/survey.py index 92df048..b9274f4 100644 --- a/relational_gui/survey.py +++ b/relational_gui/survey.py @@ -2,8 +2,7 @@ # Form implementation generated from reading ui file 'relational_gui/survey.ui' # -# Created: Mon Feb 23 15:16:57 2015 -# by: PyQt5 UI code generator 5.3.2 +# Created by: PyQt5 UI code generator 5.4.1 # # WARNING! All changes made in this file will be lost!