diff options
Diffstat (limited to 'Build/source/utils/asymptote/GUI/pyUIClass/window1.py')
-rw-r--r-- | Build/source/utils/asymptote/GUI/pyUIClass/window1.py | 49 |
1 files changed, 41 insertions, 8 deletions
diff --git a/Build/source/utils/asymptote/GUI/pyUIClass/window1.py b/Build/source/utils/asymptote/GUI/pyUIClass/window1.py index f77d018fce6..f5fe5c7e06c 100644 --- a/Build/source/utils/asymptote/GUI/pyUIClass/window1.py +++ b/Build/source/utils/asymptote/GUI/pyUIClass/window1.py @@ -11,7 +11,7 @@ from PyQt5 import QtCore, QtGui, QtWidgets class Ui_MainWindow(object): def setupUi(self, MainWindow): MainWindow.setObjectName("MainWindow") - MainWindow.resize(1030, 768) + MainWindow.resize(1000, 600) self.centralwidget = QtWidgets.QWidget(MainWindow) sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Preferred) sizePolicy.setHorizontalStretch(0) @@ -79,6 +79,7 @@ class Ui_MainWindow(object): icon1 = QtGui.QIcon() icon1.addPixmap(QtGui.QPixmap(":/icons/android-arrow-forward.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnRedo.setIcon(icon1) + self.btnRedo.setIconSize(QtCore.QSize(16, 16)) self.btnRedo.setFlat(True) self.btnRedo.setObjectName("btnRedo") self.horizontalLayout.addWidget(self.btnRedo) @@ -94,6 +95,7 @@ class Ui_MainWindow(object): icon2 = QtGui.QIcon() icon2.addPixmap(QtGui.QPixmap(":/icons/android-folder-open.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnLoadFile.setIcon(icon2) + self.btnLoadFile.setIconSize(QtCore.QSize(16, 16)) self.btnLoadFile.setFlat(True) self.btnLoadFile.setObjectName("btnLoadFile") self.horizontalLayout.addWidget(self.btnLoadFile) @@ -109,6 +111,7 @@ class Ui_MainWindow(object): icon3 = QtGui.QIcon() icon3.addPixmap(QtGui.QPixmap(":/icons/save.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnSave.setIcon(icon3) + self.btnSave.setIconSize(QtCore.QSize(16, 16)) self.btnSave.setFlat(True) self.btnSave.setObjectName("btnSave") self.horizontalLayout.addWidget(self.btnSave) @@ -118,12 +121,13 @@ class Ui_MainWindow(object): sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.btnViewCode.sizePolicy().hasHeightForWidth()) self.btnViewCode.setSizePolicy(sizePolicy) - self.btnViewCode.setMaximumSize(QtCore.QSize(25, 25)) - self.btnViewCode.setBaseSize(QtCore.QSize(32, 32)) + self.btnViewCode.setMaximumSize(QtCore.QSize(24, 24)) + self.btnViewCode.setBaseSize(QtCore.QSize(20, 20)) self.btnViewCode.setText("") icon4 = QtGui.QIcon() icon4.addPixmap(QtGui.QPixmap(":/icons/code.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnViewCode.setIcon(icon4) + self.btnViewCode.setIconSize(QtCore.QSize(16, 16)) self.btnViewCode.setFlat(True) self.btnViewCode.setObjectName("btnViewCode") self.horizontalLayout.addWidget(self.btnViewCode) @@ -139,6 +143,7 @@ class Ui_MainWindow(object): icon5 = QtGui.QIcon() icon5.addPixmap(QtGui.QPixmap(":/icons/android-camera.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnQuickScreenshot.setIcon(icon5) + self.btnQuickScreenshot.setIconSize(QtCore.QSize(16, 16)) self.btnQuickScreenshot.setFlat(True) self.btnQuickScreenshot.setObjectName("btnQuickScreenshot") self.horizontalLayout.addWidget(self.btnQuickScreenshot) @@ -161,6 +166,7 @@ class Ui_MainWindow(object): icon6 = QtGui.QIcon() icon6.addPixmap(QtGui.QPixmap(":/icons/plus-round.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnDrawAxes.setIcon(icon6) + self.btnDrawAxes.setIconSize(QtCore.QSize(16, 16)) self.btnDrawAxes.setCheckable(True) self.btnDrawAxes.setChecked(True) self.btnDrawAxes.setFlat(True) @@ -183,6 +189,7 @@ class Ui_MainWindow(object): icon7 = QtGui.QIcon() icon7.addPixmap(QtGui.QPixmap(":/icons/grid.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnDrawGrid.setIcon(icon7) + self.btnDrawGrid.setIconSize(QtCore.QSize(16, 16)) self.btnDrawGrid.setCheckable(True) self.btnDrawGrid.setChecked(False) self.btnDrawGrid.setFlat(True) @@ -200,6 +207,7 @@ class Ui_MainWindow(object): icon8 = QtGui.QIcon() icon8.addPixmap(QtGui.QPixmap(":/icons/magnifying-glass.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnSetZoom.setIcon(icon8) + self.btnSetZoom.setIconSize(QtCore.QSize(16, 16)) self.btnSetZoom.setFlat(True) self.btnSetZoom.setObjectName("btnSetZoom") self.horizontalLayout.addWidget(self.btnSetZoom) @@ -215,6 +223,7 @@ class Ui_MainWindow(object): icon9 = QtGui.QIcon() icon9.addPixmap(QtGui.QPixmap(":/icons/center.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnPanCenter.setIcon(icon9) + self.btnPanCenter.setIconSize(QtCore.QSize(16, 16)) self.btnPanCenter.setFlat(True) self.btnPanCenter.setObjectName("btnPanCenter") self.horizontalLayout.addWidget(self.btnPanCenter) @@ -230,6 +239,7 @@ class Ui_MainWindow(object): icon10 = QtGui.QIcon() icon10.addPixmap(QtGui.QPixmap(":/icons/centerorigin.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnResetPan.setIcon(icon10) + self.btnResetPan.setIconSize(QtCore.QSize(16, 16)) self.btnResetPan.setFlat(True) self.btnResetPan.setObjectName("btnResetPan") self.horizontalLayout.addWidget(self.btnResetPan) @@ -246,6 +256,7 @@ class Ui_MainWindow(object): font.setBold(True) font.setWeight(75) self.btnAlignX.setFont(font) + self.btnAlignX.setIconSize(QtCore.QSize(16, 16)) self.btnAlignX.setCheckable(True) self.btnAlignX.setFlat(True) self.btnAlignX.setObjectName("btnAlignX") @@ -262,6 +273,7 @@ class Ui_MainWindow(object): font.setBold(True) font.setWeight(75) self.btnAlignY.setFont(font) + self.btnAlignY.setIconSize(QtCore.QSize(16, 16)) self.btnAlignY.setCheckable(True) self.btnAlignY.setFlat(True) self.btnAlignY.setObjectName("btnAlignY") @@ -280,6 +292,7 @@ class Ui_MainWindow(object): icon11 = QtGui.QIcon() icon11.addPixmap(QtGui.QPixmap(":/icons/edit.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnSelectEdit.setIcon(icon11) + self.btnSelectEdit.setIconSize(QtCore.QSize(16, 16)) self.btnSelectEdit.setFlat(True) self.btnSelectEdit.setObjectName("btnSelectEdit") self.horizontalLayout.addWidget(self.btnSelectEdit) @@ -296,6 +309,7 @@ class Ui_MainWindow(object): icon12 = QtGui.QIcon() icon12.addPixmap(QtGui.QPixmap(":/icons/android-delete.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnDeleteMode.setIcon(icon12) + self.btnDeleteMode.setIconSize(QtCore.QSize(16, 16)) self.btnDeleteMode.setCheckable(False) self.btnDeleteMode.setFlat(True) self.btnDeleteMode.setObjectName("btnDeleteMode") @@ -314,6 +328,7 @@ class Ui_MainWindow(object): icon13 = QtGui.QIcon() icon13.addPixmap(QtGui.QPixmap(":/icons/android-hand.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnPan.setIcon(icon13) + self.btnPan.setIconSize(QtCore.QSize(16, 16)) self.btnPan.setCheckable(True) self.btnPan.setFlat(True) self.btnPan.setObjectName("btnPan") @@ -330,6 +345,7 @@ class Ui_MainWindow(object): icon14 = QtGui.QIcon() icon14.addPixmap(QtGui.QPixmap(":/icons/arrow-move.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnTranslate.setIcon(icon14) + self.btnTranslate.setIconSize(QtCore.QSize(16, 16)) self.btnTranslate.setCheckable(True) self.btnTranslate.setChecked(True) self.btnTranslate.setFlat(True) @@ -347,6 +363,7 @@ class Ui_MainWindow(object): icon15 = QtGui.QIcon() icon15.addPixmap(QtGui.QPixmap(":/icons/arrow-resize.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnScale.setIcon(icon15) + self.btnScale.setIconSize(QtCore.QSize(16, 16)) self.btnScale.setCheckable(True) self.btnScale.setFlat(True) self.btnScale.setObjectName("btnScale") @@ -363,6 +380,7 @@ class Ui_MainWindow(object): icon16 = QtGui.QIcon() icon16.addPixmap(QtGui.QPixmap(":/icons/android-refresh.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnRotate.setIcon(icon16) + self.btnRotate.setIconSize(QtCore.QSize(16, 16)) self.btnRotate.setCheckable(True) self.btnRotate.setFlat(True) self.btnRotate.setObjectName("btnRotate") @@ -381,6 +399,7 @@ class Ui_MainWindow(object): icon17 = QtGui.QIcon() icon17.addPixmap(QtGui.QPixmap(":/icons/anchor.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnAnchor.setIcon(icon17) + self.btnAnchor.setIconSize(QtCore.QSize(16, 16)) self.btnAnchor.setCheckable(True) self.btnAnchor.setChecked(False) self.btnAnchor.setFlat(True) @@ -424,6 +443,7 @@ class Ui_MainWindow(object): icon18 = QtGui.QIcon() icon18.addPixmap(QtGui.QPixmap(":/icons/eye.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnToggleVisible.setIcon(icon18) + self.btnToggleVisible.setIconSize(QtCore.QSize(16, 16)) self.btnToggleVisible.setCheckable(False) self.btnToggleVisible.setFlat(True) self.btnToggleVisible.setObjectName("btnToggleVisible") @@ -440,6 +460,7 @@ class Ui_MainWindow(object): icon19 = QtGui.QIcon() icon19.addPixmap(QtGui.QPixmap(":/icons/android-expand.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnCustTransform.setIcon(icon19) + self.btnCustTransform.setIconSize(QtCore.QSize(16, 16)) self.btnCustTransform.setFlat(True) self.btnCustTransform.setObjectName("btnCustTransform") self.horizontalLayout.addWidget(self.btnCustTransform) @@ -456,6 +477,7 @@ class Ui_MainWindow(object): icon20 = QtGui.QIcon() icon20.addPixmap(QtGui.QPixmap(":/icons/chevron-with-circle-left.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnSendBackwards.setIcon(icon20) + self.btnSendBackwards.setIconSize(QtCore.QSize(16, 16)) self.btnSendBackwards.setFlat(True) self.btnSendBackwards.setObjectName("btnSendBackwards") self.horizontalLayout.addWidget(self.btnSendBackwards) @@ -472,6 +494,7 @@ class Ui_MainWindow(object): icon21 = QtGui.QIcon() icon21.addPixmap(QtGui.QPixmap(":/icons/chevron-with-circle-right.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnSendForwards.setIcon(icon21) + self.btnSendForwards.setIconSize(QtCore.QSize(16, 16)) self.btnSendForwards.setFlat(True) self.btnSendForwards.setObjectName("btnSendForwards") self.horizontalLayout.addWidget(self.btnSendForwards) @@ -529,6 +552,7 @@ class Ui_MainWindow(object): icon22.addPixmap(QtGui.QPixmap(":/icons/bucket.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) icon22.addPixmap(QtGui.QPixmap(":/icons/filledbucket.svg"), QtGui.QIcon.Normal, QtGui.QIcon.On) self.btnFill.setIcon(icon22) + self.btnFill.setIconSize(QtCore.QSize(16, 16)) self.btnFill.setCheckable(True) self.btnFill.setDefault(False) self.btnFill.setFlat(True) @@ -583,6 +607,7 @@ class Ui_MainWindow(object): icon23 = QtGui.QIcon() icon23.addPixmap(QtGui.QPixmap(":/icons/android-color-palette.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnSelectColor.setIcon(icon23) + self.btnSelectColor.setIconSize(QtCore.QSize(16, 16)) self.btnSelectColor.setDefault(False) self.btnSelectColor.setFlat(True) self.btnSelectColor.setObjectName("btnSelectColor") @@ -618,6 +643,7 @@ class Ui_MainWindow(object): icon24 = QtGui.QIcon() icon24.addPixmap(QtGui.QPixmap(":/icons/openpolygon.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnOpenPoly.setIcon(icon24) + self.btnOpenPoly.setIconSize(QtCore.QSize(16, 16)) self.btnOpenPoly.setFlat(True) self.btnOpenPoly.setObjectName("btnOpenPoly") self.formLayout.setWidget(4, QtWidgets.QFormLayout.LabelRole, self.btnOpenPoly) @@ -633,6 +659,7 @@ class Ui_MainWindow(object): icon25 = QtGui.QIcon() icon25.addPixmap(QtGui.QPixmap(":/icons/closedpolygon.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnClosedPoly.setIcon(icon25) + self.btnClosedPoly.setIconSize(QtCore.QSize(16, 16)) self.btnClosedPoly.setFlat(True) self.btnClosedPoly.setObjectName("btnClosedPoly") self.formLayout.setWidget(5, QtWidgets.QFormLayout.LabelRole, self.btnClosedPoly) @@ -648,6 +675,7 @@ class Ui_MainWindow(object): icon26 = QtGui.QIcon() icon26.addPixmap(QtGui.QPixmap(":/icons/opencurve.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnOpenCurve.setIcon(icon26) + self.btnOpenCurve.setIconSize(QtCore.QSize(16, 16)) self.btnOpenCurve.setFlat(True) self.btnOpenCurve.setObjectName("btnOpenCurve") self.formLayout.setWidget(6, QtWidgets.QFormLayout.LabelRole, self.btnOpenCurve) @@ -663,6 +691,7 @@ class Ui_MainWindow(object): icon27 = QtGui.QIcon() icon27.addPixmap(QtGui.QPixmap(":/icons/closedcurve.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnClosedCurve.setIcon(icon27) + self.btnClosedCurve.setIconSize(QtCore.QSize(16, 16)) self.btnClosedCurve.setFlat(True) self.btnClosedCurve.setObjectName("btnClosedCurve") self.formLayout.setWidget(7, QtWidgets.QFormLayout.LabelRole, self.btnClosedCurve) @@ -678,6 +707,7 @@ class Ui_MainWindow(object): icon28 = QtGui.QIcon() icon28.addPixmap(QtGui.QPixmap(":/icons/triangle-stroked-15.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnAddPoly.setIcon(icon28) + self.btnAddPoly.setIconSize(QtCore.QSize(16, 16)) self.btnAddPoly.setFlat(True) self.btnAddPoly.setObjectName("btnAddPoly") self.formLayout.setWidget(8, QtWidgets.QFormLayout.LabelRole, self.btnAddPoly) @@ -693,6 +723,7 @@ class Ui_MainWindow(object): icon29 = QtGui.QIcon() icon29.addPixmap(QtGui.QPixmap(":/icons/circle.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnAddCircle.setIcon(icon29) + self.btnAddCircle.setIconSize(QtCore.QSize(16, 16)) self.btnAddCircle.setFlat(True) self.btnAddCircle.setObjectName("btnAddCircle") self.formLayout.setWidget(10, QtWidgets.QFormLayout.LabelRole, self.btnAddCircle) @@ -708,6 +739,7 @@ class Ui_MainWindow(object): icon30 = QtGui.QIcon() icon30.addPixmap(QtGui.QPixmap(":/icons/text.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnAddLabel.setIcon(icon30) + self.btnAddLabel.setIconSize(QtCore.QSize(16, 16)) self.btnAddLabel.setFlat(True) self.btnAddLabel.setObjectName("btnAddLabel") self.formLayout.setWidget(11, QtWidgets.QFormLayout.LabelRole, self.btnAddLabel) @@ -776,6 +808,7 @@ class Ui_MainWindow(object): icon32 = QtGui.QIcon() icon32.addPixmap(QtGui.QPixmap(":/icons/subdirectory-left.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.btnEnterCommand.setIcon(icon32) + self.btnEnterCommand.setIconSize(QtCore.QSize(16, 16)) self.btnEnterCommand.setFlat(True) self.btnEnterCommand.setObjectName("btnEnterCommand") self.horizontalLayout_3.addWidget(self.btnEnterCommand) @@ -785,7 +818,7 @@ class Ui_MainWindow(object): self.horizontalLayout_4.addWidget(self.mainWidget) MainWindow.setCentralWidget(self.centralwidget) self.menubar = QtWidgets.QMenuBar(MainWindow) - self.menubar.setGeometry(QtCore.QRect(0, 0, 1030, 28)) + self.menubar.setGeometry(QtCore.QRect(0, 0, 1000, 29)) self.menubar.setObjectName("menubar") self.menuFIle = QtWidgets.QMenu(self.menubar) self.menuFIle.setObjectName("menuFIle") @@ -868,7 +901,7 @@ class Ui_MainWindow(object): self.btnQuickScreenshot.setToolTip(_translate("MainWindow", "<html><head/><body><p>Screenshot</p></body></html>")) self.btnDrawAxes.setToolTip(_translate("MainWindow", "<html><head/><body><p>Toggle display axes</p></body></html>")) self.btnDrawGrid.setToolTip(_translate("MainWindow", "<html><head/><body><p>Toggle grid</p></body></html>")) - self.btnSetZoom.setToolTip(_translate("MainWindow", "Synchronize with Asymptote")) + self.btnSetZoom.setToolTip(_translate("MainWindow", "Zoom")) self.btnPanCenter.setToolTip(_translate("MainWindow", "<html><head/><body><p>Center</p></body></html>")) self.btnResetPan.setToolTip(_translate("MainWindow", "<html><head/><body><p>Center about origin</p></body></html>")) self.btnAlignX.setToolTip(_translate("MainWindow", "<html><head/><body><p>Lock transform to X axis</p></body></html>")) @@ -883,9 +916,9 @@ class Ui_MainWindow(object): self.btnRotate.setToolTip(_translate("MainWindow", "Rotate")) self.btnAnchor.setToolTip(_translate("MainWindow", "<html><head/><body><p>Set custom anchor</p></body></html>")) self.comboAnchor.setToolTip(_translate("MainWindow", "<html><head/><body><p>Anchor</p></body></html>")) - self.comboAnchor.setCurrentText(_translate("MainWindow", "Origin")) - self.comboAnchor.setItemText(0, _translate("MainWindow", "Origin")) - self.comboAnchor.setItemText(1, _translate("MainWindow", "Center")) + self.comboAnchor.setCurrentText(_translate("MainWindow", "Center")) + self.comboAnchor.setItemText(0, _translate("MainWindow", "Center")) + self.comboAnchor.setItemText(1, _translate("MainWindow", "Origin")) self.comboAnchor.setItemText(2, _translate("MainWindow", "Top Left")) self.comboAnchor.setItemText(3, _translate("MainWindow", "Top Right")) self.comboAnchor.setItemText(4, _translate("MainWindow", "Bottom Right")) |