def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(461, 559)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/synthesis.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
Dialog.setWindowIcon(icon)
Dialog.setSizeGripEnabled(True)
Dialog.setModal(True)
self.verticalLayout = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.formLayout = QtWidgets.QFormLayout()
self.formLayout.setObjectName("formLayout")
self.max_gen_option = QtWidgets.QRadioButton(Dialog)
self.max_gen_option.setChecked(True)
self.max_gen_option.setObjectName("max_gen_option")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.LabelRole,
self.max_gen_option)
self.max_gen = QtWidgets.QSpinBox(Dialog)
self.max_gen.setMinimum(0)
self.max_gen.setMaximum(5000)
self.max_gen.setSingleStep(100)
self.max_gen.setProperty("value", 1000)
self.max_gen.setObjectName("max_gen")
self.formLayout.setWidget(2, QtWidgets.QFormLayout.FieldRole,
self.max_gen)
self.min_fit_option = QtWidgets.QRadioButton(Dialog)
self.min_fit_option.setObjectName("min_fit_option")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.LabelRole,
self.min_fit_option)
self.min_fit = QtWidgets.QDoubleSpinBox(Dialog)
self.min_fit.setEnabled(False)
self.min_fit.setMaximum(2000.0)
self.min_fit.setProperty("value", 25.0)
self.min_fit.setObjectName("min_fit")
self.formLayout.setWidget(3, QtWidgets.QFormLayout.FieldRole,
self.min_fit)
self.report_label = QtWidgets.QLabel(Dialog)
self.report_label.setObjectName("report_label")
self.formLayout.setWidget(5, QtWidgets.QFormLayout.LabelRole,
self.report_label)
self.report = QtWidgets.QSpinBox(Dialog)
self.report.setProperty("value", 10)
self.report.setObjectName("report")
self.formLayout.setWidget(5, QtWidgets.QFormLayout.FieldRole,
self.report)
self.max_time_option = QtWidgets.QRadioButton(Dialog)
self.max_time_option.setObjectName("max_time_option")
self.formLayout.setWidget(4, QtWidgets.QFormLayout.LabelRole,
self.max_time_option)
self.max_time = QtWidgets.QWidget(Dialog)
self.max_time.setEnabled(False)
self.max_time.setObjectName("max_time")
self.horizontalLayout_2 = QtWidgets.QHBoxLayout(self.max_time)
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.max_time_h = QtWidgets.QSpinBox(self.max_time)
self.max_time_h.setObjectName("max_time_h")
self.horizontalLayout_2.addWidget(self.max_time_h)
self.label_2 = QtWidgets.QLabel(self.max_time)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed,
QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.label_2.sizePolicy().hasHeightForWidth())
self.label_2.setSizePolicy(sizePolicy)
self.label_2.setObjectName("label_2")
self.horizontalLayout_2.addWidget(self.label_2)
self.max_time_m = QtWidgets.QSpinBox(self.max_time)
self.max_time_m.setMaximum(59)
self.max_time_m.setProperty("value", 15)
self.max_time_m.setObjectName("max_time_m")
self.horizontalLayout_2.addWidget(self.max_time_m)
self.label_3 = QtWidgets.QLabel(self.max_time)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed,
QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.label_3.sizePolicy().hasHeightForWidth())
self.label_3.setSizePolicy(sizePolicy)
self.label_3.setObjectName("label_3")
self.horizontalLayout_2.addWidget(self.label_3)
self.max_time_s = QtWidgets.QSpinBox(self.max_time)
self.max_time_s.setMaximum(59)
self.max_time_s.setSingleStep(10)
self.max_time_s.setObjectName("max_time_s")
self.horizontalLayout_2.addWidget(self.max_time_s)
self.formLayout.setWidget(4, QtWidgets.QFormLayout.FieldRole,
self.max_time)
self.label = QtWidgets.QLabel(Dialog)
self.label.setObjectName("label")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole,
self.label)
self.pop_size = QtWidgets.QSpinBox(Dialog)
self.pop_size.setMinimum(10)
self.pop_size.setMaximum(10000)
self.pop_size.setSingleStep(10)
self.pop_size.setObjectName("pop_size")
self.formLayout.setWidget(1, QtWidgets.QFormLayout.FieldRole,
self.pop_size)
self.verticalLayout.addLayout(self.formLayout)
self.splitter = QtWidgets.QSplitter(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred,
QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.splitter.sizePolicy().hasHeightForWidth())
self.splitter.setSizePolicy(sizePolicy)
self.splitter.setOrientation(QtCore.Qt.Horizontal)
self.splitter.setObjectName("splitter")
self.alg_table = QtWidgets.QTableWidget(self.splitter)
self.alg_table.setObjectName("alg_table")
self.alg_table.setColumnCount(2)
self.alg_table.setRowCount(0)
item = QtWidgets.QTableWidgetItem()
self.alg_table.setHorizontalHeaderItem(0, item)
item = QtWidgets.QTableWidgetItem()
self.alg_table.setHorizontalHeaderItem(1, item)
self.alg_table.horizontalHeader().setDefaultSectionSize(150)
self.alg_table.horizontalHeader().setMinimumSectionSize(150)
self.verticalLayout.addWidget(self.splitter)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setObjectName("horizontalLayout")
self.reset_button = QtWidgets.QPushButton(Dialog)
self.reset_button.setObjectName("reset_button")
self.horizontalLayout.addWidget(self.reset_button)
spacerItem = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem)
self.button_box = QtWidgets.QDialogButtonBox(Dialog)
self.button_box.setOrientation(QtCore.Qt.Horizontal)
self.button_box.setStandardButtons(QtWidgets.QDialogButtonBox.Cancel
| QtWidgets.QDialogButtonBox.Ok)
self.button_box.setObjectName("button_box")
self.horizontalLayout.addWidget(self.button_box)
self.verticalLayout.addLayout(self.horizontalLayout)
self.retranslateUi(Dialog)
self.button_box.accepted.connect(Dialog.accept)
self.button_box.rejected.connect(Dialog.reject)
self.max_gen_option.toggled['bool'].connect(self.max_gen.setEnabled)
self.min_fit_option.toggled['bool'].connect(self.min_fit.setEnabled)
self.max_time_option.toggled['bool'].connect(self.max_time.setEnabled)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, Form):
Form.setObjectName("Form")
Form.resize(564, 682)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/dimensional_synthesis.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
Form.setWindowIcon(icon)
self.verticalLayout_4 = QtWidgets.QVBoxLayout(Form)
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.main_splitter = QtWidgets.QSplitter(Form)
self.main_splitter.setOrientation(QtCore.Qt.Vertical)
self.main_splitter.setObjectName("main_splitter")
self.options_tab = QtWidgets.QTabWidget(self.main_splitter)
self.options_tab.setObjectName("options_tab")
self.structure = QtWidgets.QWidget()
self.structure.setObjectName("structure")
self.verticalLayout_6 = QtWidgets.QVBoxLayout(self.structure)
self.verticalLayout_6.setObjectName("verticalLayout_6")
self.horizontalLayout_7 = QtWidgets.QHBoxLayout()
self.horizontalLayout_7.setObjectName("horizontalLayout_7")
self.load_profile = QtWidgets.QPushButton(self.structure)
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/icons/collections.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.load_profile.setIcon(icon1)
self.load_profile.setObjectName("load_profile")
self.horizontalLayout_7.addWidget(self.load_profile)
self.save_profile = QtWidgets.QPushButton(self.structure)
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(":/icons/save_file.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.save_profile.setIcon(icon2)
self.save_profile.setObjectName("save_profile")
self.horizontalLayout_7.addWidget(self.save_profile)
self.profile_name = QtWidgets.QLineEdit(self.structure)
self.profile_name.setReadOnly(True)
self.profile_name.setObjectName("profile_name")
self.horizontalLayout_7.addWidget(self.profile_name)
self.clear_button = QtWidgets.QPushButton(self.structure)
icon3 = QtGui.QIcon()
icon3.addPixmap(QtGui.QPixmap(":/icons/clean.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.clear_button.setIcon(icon3)
self.clear_button.setObjectName("clear_button")
self.horizontalLayout_7.addWidget(self.clear_button)
self.verticalLayout_6.addLayout(self.horizontalLayout_7)
self.horizontalLayout_17 = QtWidgets.QHBoxLayout()
self.horizontalLayout_17.setObjectName("horizontalLayout_17")
self.expression_string = QtWidgets.QLineEdit(self.structure)
self.expression_string.setReadOnly(True)
self.expression_string.setObjectName("expression_string")
self.horizontalLayout_17.addWidget(self.expression_string)
self.expr_copy = QtWidgets.QPushButton(self.structure)
icon4 = QtGui.QIcon()
icon4.addPixmap(QtGui.QPixmap(":/icons/copy.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.expr_copy.setIcon(icon4)
self.expr_copy.setObjectName("expr_copy")
self.horizontalLayout_17.addWidget(self.expr_copy)
self.verticalLayout_6.addLayout(self.horizontalLayout_17)
self.up_splitter = QtWidgets.QSplitter(self.structure)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.up_splitter.sizePolicy().hasHeightForWidth())
self.up_splitter.setSizePolicy(sizePolicy)
self.up_splitter.setOrientation(QtCore.Qt.Horizontal)
self.up_splitter.setObjectName("up_splitter")
self.parameter_list = QtWidgets.QTableWidget(self.up_splitter)
self.parameter_list.setSelectionBehavior(QtWidgets.QAbstractItemView.SelectRows)
self.parameter_list.setVerticalScrollMode(QtWidgets.QAbstractItemView.ScrollPerPixel)
self.parameter_list.setHorizontalScrollMode(QtWidgets.QAbstractItemView.ScrollPerPixel)
self.parameter_list.setObjectName("parameter_list")
self.parameter_list.setColumnCount(5)
self.parameter_list.setRowCount(0)
item = QtWidgets.QTableWidgetItem()
self.parameter_list.setHorizontalHeaderItem(0, item)
item = QtWidgets.QTableWidgetItem()
self.parameter_list.setHorizontalHeaderItem(1, item)
item = QtWidgets.QTableWidgetItem()
self.parameter_list.setHorizontalHeaderItem(2, item)
item = QtWidgets.QTableWidgetItem()
self.parameter_list.setHorizontalHeaderItem(3, item)
item = QtWidgets.QTableWidgetItem()
self.parameter_list.setHorizontalHeaderItem(4, item)
self.preview_box = QtWidgets.QGroupBox(self.up_splitter)
self.preview_box.setObjectName("preview_box")
self.preview_layout = QtWidgets.QVBoxLayout(self.preview_box)
self.preview_layout.setObjectName("preview_layout")
self.show_solutions = QtWidgets.QCheckBox(self.preview_box)
self.show_solutions.setChecked(True)
self.show_solutions.setObjectName("show_solutions")
self.preview_layout.addWidget(self.show_solutions)
self.verticalLayout_6.addWidget(self.up_splitter)
icon5 = QtGui.QIcon()
icon5.addPixmap(QtGui.QPixmap(":/icons/structure.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.options_tab.addTab(self.structure, icon5, "")
self.target_path = QtWidgets.QWidget()
self.target_path.setObjectName("target_path")
self.verticalLayout_5 = QtWidgets.QVBoxLayout(self.target_path)
self.verticalLayout_5.setObjectName("verticalLayout_5")
self.down_splitter = QtWidgets.QSplitter(self.target_path)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.down_splitter.sizePolicy().hasHeightForWidth())
self.down_splitter.setSizePolicy(sizePolicy)
self.down_splitter.setOrientation(QtCore.Qt.Horizontal)
self.down_splitter.setObjectName("down_splitter")
self.target_points = QtWidgets.QListWidget(self.down_splitter)
self.target_points.setObjectName("target_points")
self.layoutWidget = QtWidgets.QWidget(self.down_splitter)
self.layoutWidget.setObjectName("layoutWidget")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.layoutWidget)
self.verticalLayout_2.setContentsMargins(0, 0, 0, 0)
self.verticalLayout_2.setSpacing(3)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.pointNum = QtWidgets.QLabel(self.layoutWidget)
self.pointNum.setAlignment(QtCore.Qt.AlignLeading|QtCore.Qt.AlignLeft|QtCore.Qt.AlignTop)
self.pointNum.setObjectName("pointNum")
self.horizontalLayout_2.addWidget(self.pointNum)
spacerItem = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_2.addItem(spacerItem)
self.path_paste = QtWidgets.QPushButton(self.layoutWidget)
icon6 = QtGui.QIcon()
icon6.addPixmap(QtGui.QPixmap(":/icons/paste.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.path_paste.setIcon(icon6)
self.path_paste.setObjectName("path_paste")
self.horizontalLayout_2.addWidget(self.path_paste)
self.path_copy = QtWidgets.QPushButton(self.layoutWidget)
self.path_copy.setIcon(icon4)
self.path_copy.setObjectName("path_copy")
self.horizontalLayout_2.addWidget(self.path_copy)
self.path_clear = QtWidgets.QPushButton(self.layoutWidget)
self.path_clear.setIcon(icon3)
self.path_clear.setAutoDefault(False)
self.path_clear.setObjectName("path_clear")
self.horizontalLayout_2.addWidget(self.path_clear)
self.verticalLayout_2.addLayout(self.horizontalLayout_2)
self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
self.horizontalLayout_5.setObjectName("horizontalLayout_5")
self.verticalLayout_8 = QtWidgets.QVBoxLayout()
self.verticalLayout_8.setObjectName("verticalLayout_8")
self.path_list = QtWidgets.QListWidget(self.layoutWidget)
self.path_list.setObjectName("path_list")
self.verticalLayout_8.addWidget(self.path_list)
self.horizontalLayout_8 = QtWidgets.QHBoxLayout()
self.horizontalLayout_8.setObjectName("horizontalLayout_8")
self.point_up = QtWidgets.QPushButton(self.layoutWidget)
icon7 = QtGui.QIcon()
icon7.addPixmap(QtGui.QPixmap(":/icons/arrow_up.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.point_up.setIcon(icon7)
self.point_up.setObjectName("point_up")
self.horizontalLayout_8.addWidget(self.point_up)
self.point_down = QtWidgets.QPushButton(self.layoutWidget)
icon8 = QtGui.QIcon()
icon8.addPixmap(QtGui.QPixmap(":/icons/arrow_down.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.point_down.setIcon(icon8)
self.point_down.setObjectName("point_down")
self.horizontalLayout_8.addWidget(self.point_down)
spacerItem1 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_8.addItem(spacerItem1)
self.point_delete = QtWidgets.QPushButton(self.layoutWidget)
icon9 = QtGui.QIcon()
icon9.addPixmap(QtGui.QPixmap(":/icons/delete.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.point_delete.setIcon(icon9)
self.point_delete.setObjectName("point_delete")
self.horizontalLayout_8.addWidget(self.point_delete)
self.close_path = QtWidgets.QPushButton(self.layoutWidget)
icon10 = QtGui.QIcon()
icon10.addPixmap(QtGui.QPixmap(":/icons/free_move_off.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.close_path.setIcon(icon10)
self.close_path.setObjectName("close_path")
self.horizontalLayout_8.addWidget(self.close_path)
self.edit_target_point_button = QtWidgets.QPushButton(self.layoutWidget)
icon11 = QtGui.QIcon()
icon11.addPixmap(QtGui.QPixmap(":/icons/translate.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.edit_target_point_button.setIcon(icon11)
self.edit_target_point_button.setCheckable(True)
self.edit_target_point_button.setChecked(True)
self.edit_target_point_button.setObjectName("edit_target_point_button")
self.horizontalLayout_8.addWidget(self.edit_target_point_button)
self.verticalLayout_8.addLayout(self.horizontalLayout_8)
self.horizontalLayout_5.addLayout(self.verticalLayout_8)
self.verticalLayout_3 = QtWidgets.QVBoxLayout()
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.path_adjust_button = QtWidgets.QPushButton(self.layoutWidget)
icon12 = QtGui.QIcon()
icon12.addPixmap(QtGui.QPixmap(":/icons/formula.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.path_adjust_button.setIcon(icon12)
self.path_adjust_button.setObjectName("path_adjust_button")
self.verticalLayout_3.addWidget(self.path_adjust_button)
self.import_xlsx_button = QtWidgets.QPushButton(self.layoutWidget)
self.import_xlsx_button.setText("")
icon13 = QtGui.QIcon()
icon13.addPixmap(QtGui.QPixmap(":/icons/excel_2013.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.import_xlsx_button.setIcon(icon13)
self.import_xlsx_button.setIconSize(QtCore.QSize(20, 20))
self.import_xlsx_button.setObjectName("import_xlsx_button")
self.verticalLayout_3.addWidget(self.import_xlsx_button)
self.import_csv_button = QtWidgets.QPushButton(self.layoutWidget)
self.import_csv_button.setText("")
icon14 = QtGui.QIcon()
icon14.addPixmap(QtGui.QPixmap(":/icons/csv.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.import_csv_button.setIcon(icon14)
self.import_csv_button.setIconSize(QtCore.QSize(20, 20))
self.import_csv_button.setObjectName("import_csv_button")
self.verticalLayout_3.addWidget(self.import_csv_button)
spacerItem2 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_3.addItem(spacerItem2)
self.horizontalLayout_5.addLayout(self.verticalLayout_3)
self.verticalLayout_2.addLayout(self.horizontalLayout_5)
self.verticalLayout_5.addWidget(self.down_splitter)
self.label_2 = QtWidgets.QLabel(self.target_path)
self.label_2.setWordWrap(True)
self.label_2.setObjectName("label_2")
self.verticalLayout_5.addWidget(self.label_2)
self.options_tab.addTab(self.target_path, icon, "")
self.algorithm = QtWidgets.QWidget()
self.algorithm.setObjectName("algorithm")
self.verticalLayout = QtWidgets.QVBoxLayout(self.algorithm)
self.verticalLayout.setObjectName("verticalLayout")
self.type0 = QtWidgets.QRadioButton(self.algorithm)
self.type0.setChecked(False)
self.type0.setObjectName("type0")
self.verticalLayout.addWidget(self.type0)
self.type1 = QtWidgets.QRadioButton(self.algorithm)
self.type1.setObjectName("type1")
self.verticalLayout.addWidget(self.type1)
self.type2 = QtWidgets.QRadioButton(self.algorithm)
self.type2.setChecked(True)
self.type2.setObjectName("type2")
self.verticalLayout.addWidget(self.type2)
self.advance_button = QtWidgets.QPushButton(self.algorithm)
icon15 = QtGui.QIcon()
icon15.addPixmap(QtGui.QPixmap(":/icons/properties.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.advance_button.setIcon(icon15)
self.advance_button.setObjectName("advance_button")
self.verticalLayout.addWidget(self.advance_button)
spacerItem3 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
self.verticalLayout.addItem(spacerItem3)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setObjectName("horizontalLayout")
self.label_7 = QtWidgets.QLabel(self.algorithm)
self.label_7.setObjectName("label_7")
self.horizontalLayout.addWidget(self.label_7)
spacerItem4 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem4)
self.timeShow = QtWidgets.QLabel(self.algorithm)
self.timeShow.setObjectName("timeShow")
self.horizontalLayout.addWidget(self.timeShow)
self.verticalLayout.addLayout(self.horizontalLayout)
self.synthesis_button = QtWidgets.QPushButton(self.algorithm)
self.synthesis_button.setEnabled(False)
self.synthesis_button.setMinimumSize(QtCore.QSize(120, 0))
icon16 = QtGui.QIcon()
icon16.addPixmap(QtGui.QPixmap(":/icons/play.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.synthesis_button.setIcon(icon16)
self.synthesis_button.setAutoDefault(True)
self.synthesis_button.setObjectName("synthesis_button")
self.verticalLayout.addWidget(self.synthesis_button)
icon17 = QtGui.QIcon()
icon17.addPixmap(QtGui.QPixmap(":/icons/synthesis.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.options_tab.addTab(self.algorithm, icon17, "")
self.verticalGroupBox = QtWidgets.QGroupBox(self.main_splitter)
self.verticalGroupBox.setObjectName("verticalGroupBox")
self.horizontalLayout_6 = QtWidgets.QHBoxLayout(self.verticalGroupBox)
self.horizontalLayout_6.setObjectName("horizontalLayout_6")
self.verticalLayout_13 = QtWidgets.QVBoxLayout()
self.verticalLayout_13.setObjectName("verticalLayout_13")
self.result_list = QtWidgets.QListWidget(self.verticalGroupBox)
self.result_list.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAsNeeded)
self.result_list.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff)
self.result_list.setObjectName("result_list")
self.verticalLayout_13.addWidget(self.result_list)
self.horizontalLayout_10 = QtWidgets.QHBoxLayout()
self.horizontalLayout_10.setObjectName("horizontalLayout_10")
self.result_load_settings = QtWidgets.QPushButton(self.verticalGroupBox)
self.result_load_settings.setEnabled(False)
icon18 = QtGui.QIcon()
icon18.addPixmap(QtGui.QPixmap(":/icons/data_update.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.result_load_settings.setIcon(icon18)
self.result_load_settings.setObjectName("result_load_settings")
self.horizontalLayout_10.addWidget(self.result_load_settings)
self.result_clipboard = QtWidgets.QPushButton(self.verticalGroupBox)
self.result_clipboard.setEnabled(False)
self.result_clipboard.setIcon(icon4)
self.result_clipboard.setObjectName("result_clipboard")
self.horizontalLayout_10.addWidget(self.result_clipboard)
spacerItem5 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_10.addItem(spacerItem5)
self.delete_button = QtWidgets.QPushButton(self.verticalGroupBox)
self.delete_button.setEnabled(False)
self.delete_button.setIcon(icon9)
self.delete_button.setObjectName("delete_button")
self.horizontalLayout_10.addWidget(self.delete_button)
self.merge_button = QtWidgets.QPushButton(self.verticalGroupBox)
self.merge_button.setEnabled(False)
icon19 = QtGui.QIcon()
icon19.addPixmap(QtGui.QPixmap(":/icons/merge.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.merge_button.setIcon(icon19)
self.merge_button.setObjectName("merge_button")
self.horizontalLayout_10.addWidget(self.merge_button)
self.verticalLayout_13.addLayout(self.horizontalLayout_10)
self.horizontalLayout_6.addLayout(self.verticalLayout_13)
self.verticalLayout_4.addWidget(self.main_splitter)
self.retranslateUi(Form)
QtCore.QMetaObject.connectSlotsByName(Form)