summaryrefslogtreecommitdiff
path: root/graphics/asymptote/GUI/pyUIClass/window1.py
diff options
context:
space:
mode:
Diffstat (limited to 'graphics/asymptote/GUI/pyUIClass/window1.py')
-rw-r--r--graphics/asymptote/GUI/pyUIClass/window1.py49
1 files changed, 41 insertions, 8 deletions
diff --git a/graphics/asymptote/GUI/pyUIClass/window1.py b/graphics/asymptote/GUI/pyUIClass/window1.py
index f77d018fce..f5fe5c7e06 100644
--- a/graphics/asymptote/GUI/pyUIClass/window1.py
+++ b/graphics/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"))