15 RestructureDialog.resize(500, 700) |
15 RestructureDialog.resize(500, 700) |
16 RestructureDialog.setSizeGripEnabled(True) |
16 RestructureDialog.setSizeGripEnabled(True) |
17 self.gridlayout = QtWidgets.QGridLayout(RestructureDialog) |
17 self.gridlayout = QtWidgets.QGridLayout(RestructureDialog) |
18 self.gridlayout.setContentsMargins(6, 6, 6, 6) |
18 self.gridlayout.setContentsMargins(6, 6, 6, 6) |
19 self.gridlayout.setObjectName("gridlayout") |
19 self.gridlayout.setObjectName("gridlayout") |
20 self.label = QtWidgets.QLabel(RestructureDialog) |
20 self.label = QtWidgets.QLabel(parent=RestructureDialog) |
21 self.label.setAlignment(QtCore.Qt.AlignmentFlag.AlignLeading|QtCore.Qt.AlignmentFlag.AlignLeft|QtCore.Qt.AlignmentFlag.AlignTop) |
21 self.label.setAlignment(QtCore.Qt.AlignmentFlag.AlignLeading|QtCore.Qt.AlignmentFlag.AlignLeft|QtCore.Qt.AlignmentFlag.AlignTop) |
22 self.label.setObjectName("label") |
22 self.label.setObjectName("label") |
23 self.gridlayout.addWidget(self.label, 0, 0, 1, 1) |
23 self.gridlayout.addWidget(self.label, 0, 0, 1, 1) |
24 self.patternEdit = QtWidgets.QTextEdit(RestructureDialog) |
24 self.patternEdit = QtWidgets.QTextEdit(parent=RestructureDialog) |
25 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding) |
25 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding) |
26 sizePolicy.setHorizontalStretch(0) |
26 sizePolicy.setHorizontalStretch(0) |
27 sizePolicy.setVerticalStretch(1) |
27 sizePolicy.setVerticalStretch(1) |
28 sizePolicy.setHeightForWidth(self.patternEdit.sizePolicy().hasHeightForWidth()) |
28 sizePolicy.setHeightForWidth(self.patternEdit.sizePolicy().hasHeightForWidth()) |
29 self.patternEdit.setSizePolicy(sizePolicy) |
29 self.patternEdit.setSizePolicy(sizePolicy) |
30 self.patternEdit.setAcceptRichText(False) |
30 self.patternEdit.setAcceptRichText(False) |
31 self.patternEdit.setObjectName("patternEdit") |
31 self.patternEdit.setObjectName("patternEdit") |
32 self.gridlayout.addWidget(self.patternEdit, 0, 1, 1, 1) |
32 self.gridlayout.addWidget(self.patternEdit, 0, 1, 1, 1) |
33 self.label_2 = QtWidgets.QLabel(RestructureDialog) |
33 self.label_2 = QtWidgets.QLabel(parent=RestructureDialog) |
34 self.label_2.setAlignment(QtCore.Qt.AlignmentFlag.AlignLeading|QtCore.Qt.AlignmentFlag.AlignLeft|QtCore.Qt.AlignmentFlag.AlignTop) |
34 self.label_2.setAlignment(QtCore.Qt.AlignmentFlag.AlignLeading|QtCore.Qt.AlignmentFlag.AlignLeft|QtCore.Qt.AlignmentFlag.AlignTop) |
35 self.label_2.setObjectName("label_2") |
35 self.label_2.setObjectName("label_2") |
36 self.gridlayout.addWidget(self.label_2, 1, 0, 1, 1) |
36 self.gridlayout.addWidget(self.label_2, 1, 0, 1, 1) |
37 self.goalEdit = QtWidgets.QTextEdit(RestructureDialog) |
37 self.goalEdit = QtWidgets.QTextEdit(parent=RestructureDialog) |
38 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding) |
38 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding) |
39 sizePolicy.setHorizontalStretch(0) |
39 sizePolicy.setHorizontalStretch(0) |
40 sizePolicy.setVerticalStretch(1) |
40 sizePolicy.setVerticalStretch(1) |
41 sizePolicy.setHeightForWidth(self.goalEdit.sizePolicy().hasHeightForWidth()) |
41 sizePolicy.setHeightForWidth(self.goalEdit.sizePolicy().hasHeightForWidth()) |
42 self.goalEdit.setSizePolicy(sizePolicy) |
42 self.goalEdit.setSizePolicy(sizePolicy) |
43 self.goalEdit.setAcceptRichText(False) |
43 self.goalEdit.setAcceptRichText(False) |
44 self.goalEdit.setObjectName("goalEdit") |
44 self.goalEdit.setObjectName("goalEdit") |
45 self.gridlayout.addWidget(self.goalEdit, 1, 1, 1, 1) |
45 self.gridlayout.addWidget(self.goalEdit, 1, 1, 1, 1) |
46 self.groupBox = QtWidgets.QGroupBox(RestructureDialog) |
46 self.groupBox = QtWidgets.QGroupBox(parent=RestructureDialog) |
47 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Preferred, QtWidgets.QSizePolicy.Policy.Preferred) |
47 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Preferred, QtWidgets.QSizePolicy.Policy.Preferred) |
48 sizePolicy.setHorizontalStretch(0) |
48 sizePolicy.setHorizontalStretch(0) |
49 sizePolicy.setVerticalStretch(2) |
49 sizePolicy.setVerticalStretch(2) |
50 sizePolicy.setHeightForWidth(self.groupBox.sizePolicy().hasHeightForWidth()) |
50 sizePolicy.setHeightForWidth(self.groupBox.sizePolicy().hasHeightForWidth()) |
51 self.groupBox.setSizePolicy(sizePolicy) |
51 self.groupBox.setSizePolicy(sizePolicy) |
52 self.groupBox.setObjectName("groupBox") |
52 self.groupBox.setObjectName("groupBox") |
53 self.vboxlayout = QtWidgets.QVBoxLayout(self.groupBox) |
53 self.vboxlayout = QtWidgets.QVBoxLayout(self.groupBox) |
54 self.vboxlayout.setContentsMargins(6, 6, 6, 6) |
54 self.vboxlayout.setContentsMargins(6, 6, 6, 6) |
55 self.vboxlayout.setObjectName("vboxlayout") |
55 self.vboxlayout.setObjectName("vboxlayout") |
56 self.argsEdit = QtWidgets.QTextEdit(self.groupBox) |
56 self.argsEdit = QtWidgets.QTextEdit(parent=self.groupBox) |
57 self.argsEdit.setLineWrapMode(QtWidgets.QTextEdit.LineWrapMode.NoWrap) |
57 self.argsEdit.setLineWrapMode(QtWidgets.QTextEdit.LineWrapMode.NoWrap) |
58 self.argsEdit.setAcceptRichText(False) |
58 self.argsEdit.setAcceptRichText(False) |
59 self.argsEdit.setObjectName("argsEdit") |
59 self.argsEdit.setObjectName("argsEdit") |
60 self.vboxlayout.addWidget(self.argsEdit) |
60 self.vboxlayout.addWidget(self.argsEdit) |
61 self.gridlayout.addWidget(self.groupBox, 2, 0, 1, 2) |
61 self.gridlayout.addWidget(self.groupBox, 2, 0, 1, 2) |
62 self.groupBox_2 = QtWidgets.QGroupBox(RestructureDialog) |
62 self.groupBox_2 = QtWidgets.QGroupBox(parent=RestructureDialog) |
63 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Preferred, QtWidgets.QSizePolicy.Policy.Preferred) |
63 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Preferred, QtWidgets.QSizePolicy.Policy.Preferred) |
64 sizePolicy.setHorizontalStretch(0) |
64 sizePolicy.setHorizontalStretch(0) |
65 sizePolicy.setVerticalStretch(2) |
65 sizePolicy.setVerticalStretch(2) |
66 sizePolicy.setHeightForWidth(self.groupBox_2.sizePolicy().hasHeightForWidth()) |
66 sizePolicy.setHeightForWidth(self.groupBox_2.sizePolicy().hasHeightForWidth()) |
67 self.groupBox_2.setSizePolicy(sizePolicy) |
67 self.groupBox_2.setSizePolicy(sizePolicy) |
68 self.groupBox_2.setObjectName("groupBox_2") |
68 self.groupBox_2.setObjectName("groupBox_2") |
69 self.vboxlayout1 = QtWidgets.QVBoxLayout(self.groupBox_2) |
69 self.vboxlayout1 = QtWidgets.QVBoxLayout(self.groupBox_2) |
70 self.vboxlayout1.setContentsMargins(6, 6, 6, 6) |
70 self.vboxlayout1.setContentsMargins(6, 6, 6, 6) |
71 self.vboxlayout1.setObjectName("vboxlayout1") |
71 self.vboxlayout1.setObjectName("vboxlayout1") |
72 self.importsEdit = QtWidgets.QTextEdit(self.groupBox_2) |
72 self.importsEdit = QtWidgets.QTextEdit(parent=self.groupBox_2) |
73 self.importsEdit.setLineWrapMode(QtWidgets.QTextEdit.LineWrapMode.NoWrap) |
73 self.importsEdit.setLineWrapMode(QtWidgets.QTextEdit.LineWrapMode.NoWrap) |
74 self.importsEdit.setAcceptRichText(False) |
74 self.importsEdit.setAcceptRichText(False) |
75 self.importsEdit.setObjectName("importsEdit") |
75 self.importsEdit.setObjectName("importsEdit") |
76 self.vboxlayout1.addWidget(self.importsEdit) |
76 self.vboxlayout1.addWidget(self.importsEdit) |
77 self.gridlayout.addWidget(self.groupBox_2, 3, 0, 1, 2) |
77 self.gridlayout.addWidget(self.groupBox_2, 3, 0, 1, 2) |
78 self.buttonBox = QtWidgets.QDialogButtonBox(RestructureDialog) |
78 self.buttonBox = QtWidgets.QDialogButtonBox(parent=RestructureDialog) |
79 self.buttonBox.setOrientation(QtCore.Qt.Orientation.Horizontal) |
79 self.buttonBox.setOrientation(QtCore.Qt.Orientation.Horizontal) |
80 self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.StandardButton.Cancel|QtWidgets.QDialogButtonBox.StandardButton.NoButton|QtWidgets.QDialogButtonBox.StandardButton.Ok) |
80 self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.StandardButton.Cancel|QtWidgets.QDialogButtonBox.StandardButton.NoButton|QtWidgets.QDialogButtonBox.StandardButton.Ok) |
81 self.buttonBox.setObjectName("buttonBox") |
81 self.buttonBox.setObjectName("buttonBox") |
82 self.gridlayout.addWidget(self.buttonBox, 4, 0, 1, 2) |
82 self.gridlayout.addWidget(self.buttonBox, 4, 0, 1, 2) |
83 |
83 |