def setupUi(self, sketchpad_widget):
sketchpad_widget.setObjectName(_fromUtf8("sketchpad_widget"))
sketchpad_widget.resize(1053, 708)
self.verticalLayout = QtGui.QVBoxLayout(sketchpad_widget)
self.verticalLayout.setMargin(0)
self.verticalLayout.setObjectName(_fromUtf8("verticalLayout"))
self.frame = QtGui.QFrame(sketchpad_widget)
self.frame.setFrameShape(QtGui.QFrame.NoFrame)
self.frame.setFrameShadow(QtGui.QFrame.Raised)
self.frame.setObjectName(_fromUtf8("frame"))
self.verticalLayout_2 = QtGui.QVBoxLayout(self.frame)
self.verticalLayout_2.setMargin(0)
self.verticalLayout_2.setObjectName(_fromUtf8("verticalLayout_2"))
self.widget = QtGui.QWidget(self.frame)
self.widget.setObjectName(_fromUtf8("widget"))
self.horizontalLayout_2 = QtGui.QHBoxLayout(self.widget)
self.horizontalLayout_2.setMargin(0)
self.horizontalLayout_2.setObjectName(_fromUtf8("horizontalLayout_2"))
self.widget_3 = QtGui.QWidget(self.widget)
self.widget_3.setObjectName(_fromUtf8("widget_3"))
self.verticalLayout_3 = QtGui.QVBoxLayout(self.widget_3)
self.verticalLayout_3.setMargin(0)
self.verticalLayout_3.setObjectName(_fromUtf8("verticalLayout_3"))
self.widget_2 = QtGui.QWidget(self.widget_3)
self.widget_2.setObjectName(_fromUtf8("widget_2"))
self.horizontalLayout = QtGui.QHBoxLayout(self.widget_2)
self.horizontalLayout.setMargin(0)
self.horizontalLayout.setObjectName(_fromUtf8("horizontalLayout"))
self.verticalLayout_3.addWidget(self.widget_2)
self.widget_7 = QtGui.QWidget(self.widget_3)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.widget_7.sizePolicy().hasHeightForWidth())
self.widget_7.setSizePolicy(sizePolicy)
self.widget_7.setObjectName(_fromUtf8("widget_7"))
self.horizontalLayout_5 = QtGui.QHBoxLayout(self.widget_7)
self.horizontalLayout_5.setMargin(0)
self.horizontalLayout_5.setObjectName(_fromUtf8("horizontalLayout_5"))
self.frame_4 = QtGui.QFrame(self.widget_7)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.frame_4.sizePolicy().hasHeightForWidth())
self.frame_4.setSizePolicy(sizePolicy)
self.frame_4.setFrameShape(QtGui.QFrame.StyledPanel)
self.frame_4.setObjectName(_fromUtf8("frame_4"))
self.gridLayout = QtGui.QGridLayout(self.frame_4)
self.gridLayout.setSpacing(0)
self.gridLayout.setContentsMargins(4, 4, 4, 0)
self.gridLayout.setObjectName(_fromUtf8("gridLayout"))
self.button_line = QtGui.QPushButton(self.frame_4)
self.button_line.setText(_fromUtf8(""))
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/line_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_line.setIcon(icon)
self.button_line.setIconSize(QtCore.QSize(32, 32))
self.button_line.setCheckable(True)
self.button_line.setChecked(True)
self.button_line.setFlat(True)
self.button_line.setObjectName(_fromUtf8("button_line"))
self.gridLayout.addWidget(self.button_line, 0, 0, 1, 1)
self.button_arrow = QtGui.QPushButton(self.frame_4)
self.button_arrow.setText(_fromUtf8(""))
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/arrow_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_arrow.setIcon(icon1)
self.button_arrow.setIconSize(QtCore.QSize(32, 32))
self.button_arrow.setCheckable(True)
self.button_arrow.setFlat(True)
self.button_arrow.setObjectName(_fromUtf8("button_arrow"))
self.gridLayout.addWidget(self.button_arrow, 0, 1, 1, 1)
self.button_textline = QtGui.QPushButton(self.frame_4)
self.button_textline.setText(_fromUtf8(""))
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/textline_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_textline.setIcon(icon2)
self.button_textline.setIconSize(QtCore.QSize(32, 32))
self.button_textline.setCheckable(True)
self.button_textline.setFlat(True)
self.button_textline.setObjectName(_fromUtf8("button_textline"))
self.gridLayout.addWidget(self.button_textline, 0, 2, 1, 1)
self.button_image = QtGui.QPushButton(self.frame_4)
self.button_image.setText(_fromUtf8(""))
icon3 = QtGui.QIcon()
icon3.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/image_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_image.setIcon(icon3)
self.button_image.setIconSize(QtCore.QSize(32, 32))
self.button_image.setCheckable(True)
self.button_image.setFlat(True)
self.button_image.setObjectName(_fromUtf8("button_image"))
self.gridLayout.addWidget(self.button_image, 0, 3, 1, 1)
self.button_gabor = QtGui.QPushButton(self.frame_4)
self.button_gabor.setText(_fromUtf8(""))
icon4 = QtGui.QIcon()
icon4.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/gabor.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_gabor.setIcon(icon4)
self.button_gabor.setIconSize(QtCore.QSize(32, 32))
self.button_gabor.setCheckable(True)
self.button_gabor.setFlat(True)
self.button_gabor.setObjectName(_fromUtf8("button_gabor"))
self.gridLayout.addWidget(self.button_gabor, 0, 4, 1, 1)
self.button_rect = QtGui.QPushButton(self.frame_4)
self.button_rect.setText(_fromUtf8(""))
icon5 = QtGui.QIcon()
icon5.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/rectangle_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_rect.setIcon(icon5)
self.button_rect.setIconSize(QtCore.QSize(32, 32))
self.button_rect.setCheckable(True)
self.button_rect.setFlat(True)
self.button_rect.setObjectName(_fromUtf8("button_rect"))
self.gridLayout.addWidget(self.button_rect, 1, 0, 1, 1)
self.button_ellipse = QtGui.QPushButton(self.frame_4)
self.button_ellipse.setText(_fromUtf8(""))
icon6 = QtGui.QIcon()
icon6.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/ellipse_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_ellipse.setIcon(icon6)
self.button_ellipse.setIconSize(QtCore.QSize(32, 32))
self.button_ellipse.setCheckable(True)
self.button_ellipse.setFlat(True)
self.button_ellipse.setObjectName(_fromUtf8("button_ellipse"))
self.gridLayout.addWidget(self.button_ellipse, 1, 1, 1, 1)
self.button_circle = QtGui.QPushButton(self.frame_4)
self.button_circle.setText(_fromUtf8(""))
icon7 = QtGui.QIcon()
icon7.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/circle_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_circle.setIcon(icon7)
self.button_circle.setIconSize(QtCore.QSize(32, 32))
self.button_circle.setCheckable(True)
self.button_circle.setFlat(True)
self.button_circle.setObjectName(_fromUtf8("button_circle"))
self.gridLayout.addWidget(self.button_circle, 1, 2, 1, 1)
self.button_fixdot = QtGui.QPushButton(self.frame_4)
self.button_fixdot.setText(_fromUtf8(""))
icon8 = QtGui.QIcon()
icon8.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/fixdot_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_fixdot.setIcon(icon8)
self.button_fixdot.setIconSize(QtCore.QSize(32, 32))
self.button_fixdot.setCheckable(True)
self.button_fixdot.setFlat(True)
self.button_fixdot.setObjectName(_fromUtf8("button_fixdot"))
self.gridLayout.addWidget(self.button_fixdot, 1, 3, 1, 1)
self.widget_5 = QtGui.QWidget(self.frame_4)
self.widget_5.setObjectName(_fromUtf8("widget_5"))
self.gridLayout.addWidget(self.widget_5, 2, 1, 1, 1)
self.button_noise_patch = QtGui.QPushButton(self.frame_4)
self.button_noise_patch.setText(_fromUtf8(""))
icon9 = QtGui.QIcon()
icon9.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/noise_patch.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_noise_patch.setIcon(icon9)
self.button_noise_patch.setIconSize(QtCore.QSize(32, 32))
self.button_noise_patch.setCheckable(True)
self.button_noise_patch.setFlat(True)
self.button_noise_patch.setObjectName(_fromUtf8("button_noise_patch"))
self.gridLayout.addWidget(self.button_noise_patch, 1, 4, 1, 1)
self.horizontalLayout_5.addWidget(self.frame_4)
self.frame_5 = QtGui.QFrame(self.widget_7)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.frame_5.sizePolicy().hasHeightForWidth())
self.frame_5.setSizePolicy(sizePolicy)
self.frame_5.setMinimumSize(QtCore.QSize(250, 0))
self.frame_5.setFrameShape(QtGui.QFrame.StyledPanel)
self.frame_5.setObjectName(_fromUtf8("frame_5"))
self.gridLayout_2 = QtGui.QGridLayout(self.frame_5)
self.gridLayout_2.setMargin(4)
self.gridLayout_2.setSpacing(4)
self.gridLayout_2.setObjectName(_fromUtf8("gridLayout_2"))
self.label_options = QtGui.QLabel(self.frame_5)
font = QtGui.QFont()
font.setItalic(True)
self.label_options.setFont(font)
self.label_options.setObjectName(_fromUtf8("label_options"))
self.gridLayout_2.addWidget(self.label_options, 0, 0, 1, 3)
self.label_arrow_size = QtGui.QLabel(self.frame_5)
self.label_arrow_size.setObjectName(_fromUtf8("label_arrow_size"))
self.gridLayout_2.addWidget(self.label_arrow_size, 4, 0, 1, 1)
self.edit_color = color_edit(self.frame_5)
self.edit_color.setObjectName(_fromUtf8("edit_color"))
self.gridLayout_2.addWidget(self.edit_color, 2, 1, 1, 2)
self.edit_show_if = QtGui.QLineEdit(self.frame_5)
self.edit_show_if.setText(_fromUtf8("always"))
self.edit_show_if.setObjectName(_fromUtf8("edit_show_if"))
self.gridLayout_2.addWidget(self.edit_show_if, 1, 1, 1, 2)
self.label_show_if = QtGui.QLabel(self.frame_5)
self.label_show_if.setObjectName(_fromUtf8("label_show_if"))
self.gridLayout_2.addWidget(self.label_show_if, 1, 0, 1, 1)
self.label_color = QtGui.QLabel(self.frame_5)
self.label_color.setObjectName(_fromUtf8("label_color"))
self.gridLayout_2.addWidget(self.label_color, 2, 0, 1, 1)
self.checkbox_center = QtGui.QCheckBox(self.frame_5)
self.checkbox_center.setChecked(True)
self.checkbox_center.setObjectName(_fromUtf8("checkbox_center"))
self.gridLayout_2.addWidget(self.checkbox_center, 7, 0, 1, 3)
self.spin_arrow_size = QtGui.QSpinBox(self.frame_5)
self.spin_arrow_size.setProperty("value", 10)
self.spin_arrow_size.setObjectName(_fromUtf8("spin_arrow_size"))
self.gridLayout_2.addWidget(self.spin_arrow_size, 4, 1, 1, 2)
self.label_penwidth = QtGui.QLabel(self.frame_5)
self.label_penwidth.setObjectName(_fromUtf8("label_penwidth"))
self.gridLayout_2.addWidget(self.label_penwidth, 3, 0, 1, 1)
self.checkbox_fill = QtGui.QCheckBox(self.frame_5)
self.checkbox_fill.setObjectName(_fromUtf8("checkbox_fill"))
self.gridLayout_2.addWidget(self.checkbox_fill, 6, 0, 1, 3)
self.widget_font = font_widget(self.frame_5)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.widget_font.sizePolicy().hasHeightForWidth())
self.widget_font.setSizePolicy(sizePolicy)
self.widget_font.setObjectName(_fromUtf8("widget_font"))
self.gridLayout_2.addWidget(self.widget_font, 9, 0, 1, 3)
self.spin_penwidth = QtGui.QSpinBox(self.frame_5)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.spin_penwidth.sizePolicy().hasHeightForWidth())
self.spin_penwidth.setSizePolicy(sizePolicy)
self.spin_penwidth.setMinimum(1)
self.spin_penwidth.setMaximum(99)
self.spin_penwidth.setObjectName(_fromUtf8("spin_penwidth"))
self.gridLayout_2.addWidget(self.spin_penwidth, 3, 1, 1, 2)
self.label_scale = QtGui.QLabel(self.frame_5)
self.label_scale.setObjectName(_fromUtf8("label_scale"))
self.gridLayout_2.addWidget(self.label_scale, 5, 0, 1, 1)
self.spin_scale = QtGui.QDoubleSpinBox(self.frame_5)
self.spin_scale.setDecimals(0)
self.spin_scale.setMinimum(1.0)
self.spin_scale.setMaximum(1000.0)
self.spin_scale.setProperty("value", 100.0)
self.spin_scale.setObjectName(_fromUtf8("spin_scale"))
self.gridLayout_2.addWidget(self.spin_scale, 5, 1, 1, 2)
self.checkbox_html = QtGui.QCheckBox(self.frame_5)
self.checkbox_html.setChecked(True)
self.checkbox_html.setObjectName(_fromUtf8("checkbox_html"))
self.gridLayout_2.addWidget(self.checkbox_html, 8, 0, 1, 2)
self.horizontalLayout_5.addWidget(self.frame_5)
spacerItem = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
self.horizontalLayout_5.addItem(spacerItem)
self.frame_9 = QtGui.QFrame(self.widget_7)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.frame_9.sizePolicy().hasHeightForWidth())
self.frame_9.setSizePolicy(sizePolicy)
self.frame_9.setFrameShape(QtGui.QFrame.StyledPanel)
self.frame_9.setObjectName(_fromUtf8("frame_9"))
self.gridLayout_3 = QtGui.QGridLayout(self.frame_9)
self.gridLayout_3.setMargin(4)
self.gridLayout_3.setSpacing(4)
self.gridLayout_3.setObjectName(_fromUtf8("gridLayout_3"))
self.label_6 = QtGui.QLabel(self.frame_9)
self.label_6.setObjectName(_fromUtf8("label_6"))
self.gridLayout_3.addWidget(self.label_6, 0, 0, 1, 1)
self.spin_zoom = QtGui.QSpinBox(self.frame_9)
self.spin_zoom.setMinimum(10)
self.spin_zoom.setMaximum(500)
self.spin_zoom.setProperty("value", 100)
self.spin_zoom.setObjectName(_fromUtf8("spin_zoom"))
self.gridLayout_3.addWidget(self.spin_zoom, 0, 1, 1, 1)
self.label_5 = QtGui.QLabel(self.frame_9)
self.label_5.setObjectName(_fromUtf8("label_5"))
self.gridLayout_3.addWidget(self.label_5, 1, 0, 1, 1)
self.spin_grid = QtGui.QSpinBox(self.frame_9)
self.spin_grid.setMinimum(1)
self.spin_grid.setProperty("value", 32)
self.spin_grid.setObjectName(_fromUtf8("spin_grid"))
self.gridLayout_3.addWidget(self.spin_grid, 1, 1, 1, 1)
self.checkbox_show_grid = QtGui.QCheckBox(self.frame_9)
self.checkbox_show_grid.setChecked(True)
self.checkbox_show_grid.setObjectName(_fromUtf8("checkbox_show_grid"))
self.gridLayout_3.addWidget(self.checkbox_show_grid, 2, 0, 1, 1)
self.label_mouse_pos = QtGui.QLabel(self.frame_9)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.label_mouse_pos.sizePolicy().hasHeightForWidth())
self.label_mouse_pos.setSizePolicy(sizePolicy)
self.label_mouse_pos.setMinimumSize(QtCore.QSize(100, 0))
self.label_mouse_pos.setAlignment(QtCore.Qt.AlignRight | QtCore.Qt.AlignTrailing | QtCore.Qt.AlignVCenter)
self.label_mouse_pos.setObjectName(_fromUtf8("label_mouse_pos"))
self.gridLayout_3.addWidget(self.label_mouse_pos, 2, 1, 1, 1)
self.widget_6 = QtGui.QWidget(self.frame_9)
self.widget_6.setObjectName(_fromUtf8("widget_6"))
self.gridLayout_3.addWidget(self.widget_6, 3, 0, 1, 1)
self.horizontalLayout_5.addWidget(self.frame_9)
self.verticalLayout_3.addWidget(self.widget_7)
self.frame_notification = QtGui.QFrame(self.widget_3)
self.frame_notification.setFrameShape(QtGui.QFrame.StyledPanel)
self.frame_notification.setFrameShadow(QtGui.QFrame.Raised)
self.frame_notification.setObjectName(_fromUtf8("frame_notification"))
self.horizontalLayout_3 = QtGui.QHBoxLayout(self.frame_notification)
self.horizontalLayout_3.setSpacing(8)
self.horizontalLayout_3.setMargin(5)
self.horizontalLayout_3.setObjectName(_fromUtf8("horizontalLayout_3"))
self.pixmap_notification = QtGui.QLabel(self.frame_notification)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.pixmap_notification.sizePolicy().hasHeightForWidth())
self.pixmap_notification.setSizePolicy(sizePolicy)
self.pixmap_notification.setText(_fromUtf8(""))
self.pixmap_notification.setPixmap(QtGui.QPixmap(_fromUtf8(":/icons/about_large.png")))
self.pixmap_notification.setObjectName(_fromUtf8("pixmap_notification"))
self.horizontalLayout_3.addWidget(self.pixmap_notification)
self.label_notification = QtGui.QLabel(self.frame_notification)
self.label_notification.setWordWrap(True)
self.label_notification.setOpenExternalLinks(True)
self.label_notification.setObjectName(_fromUtf8("label_notification"))
self.horizontalLayout_3.addWidget(self.label_notification)
self.button_edit_script = QtGui.QPushButton(self.frame_notification)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.button_edit_script.sizePolicy().hasHeightForWidth())
self.button_edit_script.setSizePolicy(sizePolicy)
icon10 = QtGui.QIcon()
icon10.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/script.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_edit_script.setIcon(icon10)
self.button_edit_script.setIconSize(QtCore.QSize(16, 16))
self.button_edit_script.setObjectName(_fromUtf8("button_edit_script"))
self.horizontalLayout_3.addWidget(self.button_edit_script)
self.verticalLayout_3.addWidget(self.frame_notification)
self.scrollArea = QtGui.QScrollArea(self.widget_3)
self.scrollArea.setWidgetResizable(True)
self.scrollArea.setObjectName(_fromUtf8("scrollArea"))
self.scrollAreaWidgetContents = QtGui.QWidget()
self.scrollAreaWidgetContents.setGeometry(QtCore.QRect(0, 0, 1047, 398))
self.scrollAreaWidgetContents.setObjectName(_fromUtf8("scrollAreaWidgetContents"))
self.verticalLayout_5 = QtGui.QVBoxLayout(self.scrollAreaWidgetContents)
self.verticalLayout_5.setObjectName(_fromUtf8("verticalLayout_5"))
self.view = QtGui.QGraphicsView(self.scrollAreaWidgetContents)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.view.sizePolicy().hasHeightForWidth())
self.view.setSizePolicy(sizePolicy)
self.view.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff)
self.view.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff)
self.view.setObjectName(_fromUtf8("view"))
self.verticalLayout_5.addWidget(self.view)
self.widget_items = QtGui.QWidget(self.scrollAreaWidgetContents)
self.widget_items.setObjectName(_fromUtf8("widget_items"))
self.verticalLayout_5.addWidget(self.widget_items)
self.scrollArea.setWidget(self.scrollAreaWidgetContents)
self.verticalLayout_3.addWidget(self.scrollArea)
self.horizontalLayout_2.addWidget(self.widget_3)
self.verticalLayout_2.addWidget(self.widget)
self.verticalLayout.addWidget(self.frame)
self.retranslateUi(sketchpad_widget)
QtCore.QMetaObject.connectSlotsByName(sketchpad_widget)
def setupUi(self, general_widget):
general_widget.setObjectName(_fromUtf8("general_widget"))
general_widget.resize(829, 852)
self.gridLayout_5 = QtGui.QGridLayout(general_widget)
self.gridLayout_5.setMargin(0)
self.gridLayout_5.setObjectName(_fromUtf8("gridLayout_5"))
self.widget_2 = QtGui.QWidget(general_widget)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.widget_2.sizePolicy().hasHeightForWidth())
self.widget_2.setSizePolicy(sizePolicy)
self.widget_2.setObjectName(_fromUtf8("widget_2"))
self.horizontalLayout_5 = QtGui.QHBoxLayout(self.widget_2)
self.horizontalLayout_5.setMargin(0)
self.horizontalLayout_5.setObjectName(_fromUtf8("horizontalLayout_5"))
self.widget = QtGui.QWidget(self.widget_2)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.widget.sizePolicy().hasHeightForWidth())
self.widget.setSizePolicy(sizePolicy)
self.widget.setMinimumSize(QtCore.QSize(20, 20))
self.widget.setObjectName(_fromUtf8("widget"))
self.formLayout = QtGui.QFormLayout(self.widget)
self.formLayout.setFieldGrowthPolicy(QtGui.QFormLayout.AllNonFixedFieldsGrow)
self.formLayout.setLabelAlignment(QtCore.Qt.AlignRight|QtCore.Qt.AlignTrailing|QtCore.Qt.AlignVCenter)
self.formLayout.setMargin(0)
self.formLayout.setMargin(0)
self.formLayout.setObjectName(_fromUtf8("formLayout"))
self.label = QtGui.QLabel(self.widget)
self.label.setObjectName(_fromUtf8("label"))
self.formLayout.setWidget(0, QtGui.QFormLayout.LabelRole, self.label)
self.label_3 = QtGui.QLabel(self.widget)
self.label_3.setObjectName(_fromUtf8("label_3"))
self.formLayout.setWidget(2, QtGui.QFormLayout.LabelRole, self.label_3)
self.frame_resolution = QtGui.QFrame(self.widget)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.frame_resolution.sizePolicy().hasHeightForWidth())
self.frame_resolution.setSizePolicy(sizePolicy)
self.frame_resolution.setFrameShape(QtGui.QFrame.NoFrame)
self.frame_resolution.setObjectName(_fromUtf8("frame_resolution"))
self.horizontalLayout_3 = QtGui.QHBoxLayout(self.frame_resolution)
self.horizontalLayout_3.setMargin(0)
self.horizontalLayout_3.setObjectName(_fromUtf8("horizontalLayout_3"))
self.spinbox_width = QtGui.QSpinBox(self.frame_resolution)
self.spinbox_width.setMinimum(1)
self.spinbox_width.setMaximum(10000)
self.spinbox_width.setObjectName(_fromUtf8("spinbox_width"))
self.horizontalLayout_3.addWidget(self.spinbox_width)
self.label_6 = QtGui.QLabel(self.frame_resolution)
self.label_6.setObjectName(_fromUtf8("label_6"))
self.horizontalLayout_3.addWidget(self.label_6)
self.spinbox_height = QtGui.QSpinBox(self.frame_resolution)
self.spinbox_height.setMinimum(1)
self.spinbox_height.setMaximum(10000)
self.spinbox_height.setObjectName(_fromUtf8("spinbox_height"))
self.horizontalLayout_3.addWidget(self.spinbox_height)
self.formLayout.setWidget(2, QtGui.QFormLayout.FieldRole, self.frame_resolution)
self.label_8 = QtGui.QLabel(self.widget)
self.label_8.setObjectName(_fromUtf8("label_8"))
self.formLayout.setWidget(3, QtGui.QFormLayout.LabelRole, self.label_8)
self.frame_colors = QtGui.QFrame(self.widget)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.frame_colors.sizePolicy().hasHeightForWidth())
self.frame_colors.setSizePolicy(sizePolicy)
self.frame_colors.setFrameShape(QtGui.QFrame.NoFrame)
self.frame_colors.setObjectName(_fromUtf8("frame_colors"))
self.gridLayout_6 = QtGui.QGridLayout(self.frame_colors)
self.gridLayout_6.setMargin(0)
self.gridLayout_6.setObjectName(_fromUtf8("gridLayout_6"))
self.edit_foreground = color_edit(self.frame_colors)
self.edit_foreground.setObjectName(_fromUtf8("edit_foreground"))
self.gridLayout_6.addWidget(self.edit_foreground, 0, 1, 1, 1)
self.label_4 = QtGui.QLabel(self.frame_colors)
self.label_4.setObjectName(_fromUtf8("label_4"))
self.gridLayout_6.addWidget(self.label_4, 0, 0, 1, 1)
self.label_5 = QtGui.QLabel(self.frame_colors)
self.label_5.setObjectName(_fromUtf8("label_5"))
self.gridLayout_6.addWidget(self.label_5, 1, 0, 1, 1)
self.edit_background = color_edit(self.frame_colors)
self.edit_background.setObjectName(_fromUtf8("edit_background"))
self.gridLayout_6.addWidget(self.edit_background, 1, 1, 1, 1)
self.label_2 = QtGui.QLabel(self.frame_colors)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.label_2.sizePolicy().hasHeightForWidth())
self.label_2.setSizePolicy(sizePolicy)
self.label_2.setAlignment(QtCore.Qt.AlignLeading|QtCore.Qt.AlignLeft|QtCore.Qt.AlignTop)
self.label_2.setWordWrap(True)
self.label_2.setObjectName(_fromUtf8("label_2"))
self.gridLayout_6.addWidget(self.label_2, 2, 0, 1, 2)
self.formLayout.setWidget(3, QtGui.QFormLayout.FieldRole, self.frame_colors)
self.label_9 = QtGui.QLabel(self.widget)
self.label_9.setObjectName(_fromUtf8("label_9"))
self.formLayout.setWidget(4, QtGui.QFormLayout.LabelRole, self.label_9)
self.frame_font = QtGui.QFrame(self.widget)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.frame_font.sizePolicy().hasHeightForWidth())
self.frame_font.setSizePolicy(sizePolicy)
self.frame_font.setFrameShape(QtGui.QFrame.NoFrame)
self.frame_font.setFrameShadow(QtGui.QFrame.Raised)
self.frame_font.setObjectName(_fromUtf8("frame_font"))
self.horizontalLayout_4 = QtGui.QHBoxLayout(self.frame_font)
self.horizontalLayout_4.setMargin(0)
self.horizontalLayout_4.setObjectName(_fromUtf8("horizontalLayout_4"))
self.widget_font = font_widget(self.frame_font)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.widget_font.sizePolicy().hasHeightForWidth())
self.widget_font.setSizePolicy(sizePolicy)
self.widget_font.setMinimumSize(QtCore.QSize(10, 10))
self.widget_font.setObjectName(_fromUtf8("widget_font"))
self.horizontalLayout_4.addWidget(self.widget_font)
self.formLayout.setWidget(4, QtGui.QFormLayout.FieldRole, self.frame_font)
self.label_11 = QtGui.QLabel(self.widget)
self.label_11.setObjectName(_fromUtf8("label_11"))
self.formLayout.setWidget(6, QtGui.QFormLayout.LabelRole, self.label_11)
self.combobox_backend = QtGui.QComboBox(self.widget)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.combobox_backend.sizePolicy().hasHeightForWidth())
self.combobox_backend.setSizePolicy(sizePolicy)
self.combobox_backend.setObjectName(_fromUtf8("combobox_backend"))
self.formLayout.setWidget(0, QtGui.QFormLayout.FieldRole, self.combobox_backend)
self.frame_advanced = QtGui.QFrame(self.widget)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.frame_advanced.sizePolicy().hasHeightForWidth())
self.frame_advanced.setSizePolicy(sizePolicy)
self.frame_advanced.setFrameShape(QtGui.QFrame.NoFrame)
self.frame_advanced.setFrameShadow(QtGui.QFrame.Raised)
self.frame_advanced.setObjectName(_fromUtf8("frame_advanced"))
self.horizontalLayout_6 = QtGui.QHBoxLayout(self.frame_advanced)
self.horizontalLayout_6.setSpacing(0)
self.horizontalLayout_6.setMargin(0)
self.horizontalLayout_6.setObjectName(_fromUtf8("horizontalLayout_6"))
self.button_backend_settings = QtGui.QCommandLinkButton(self.frame_advanced)
self.button_backend_settings.setObjectName(_fromUtf8("button_backend_settings"))
self.horizontalLayout_6.addWidget(self.button_backend_settings)
self.button_script_editor = QtGui.QCommandLinkButton(self.frame_advanced)
self.button_script_editor.setObjectName(_fromUtf8("button_script_editor"))
self.horizontalLayout_6.addWidget(self.button_script_editor)
self.formLayout.setWidget(6, QtGui.QFormLayout.FieldRole, self.frame_advanced)
self.checkbox_transparent_variables = QtGui.QCheckBox(self.widget)
self.checkbox_transparent_variables.setObjectName(_fromUtf8("checkbox_transparent_variables"))
self.formLayout.setWidget(5, QtGui.QFormLayout.FieldRole, self.checkbox_transparent_variables)
self.label_7 = QtGui.QLabel(self.widget)
self.label_7.setTextFormat(QtCore.Qt.AutoText)
self.label_7.setObjectName(_fromUtf8("label_7"))
self.formLayout.setWidget(5, QtGui.QFormLayout.LabelRole, self.label_7)
self.horizontalLayout_5.addWidget(self.widget)
self.gridLayout_5.addWidget(self.widget_2, 0, 0, 1, 1)
self.retranslateUi(general_widget)
QtCore.QMetaObject.connectSlotsByName(general_widget)
def setupUi(self, sketchpad_widget):
sketchpad_widget.setObjectName(_fromUtf8("sketchpad_widget"))
sketchpad_widget.resize(1053, 708)
self.verticalLayout = QtGui.QVBoxLayout(sketchpad_widget)
self.verticalLayout.setMargin(0)
self.verticalLayout.setObjectName(_fromUtf8("verticalLayout"))
self.frame = QtGui.QFrame(sketchpad_widget)
self.frame.setFrameShape(QtGui.QFrame.NoFrame)
self.frame.setFrameShadow(QtGui.QFrame.Raised)
self.frame.setObjectName(_fromUtf8("frame"))
self.verticalLayout_2 = QtGui.QVBoxLayout(self.frame)
self.verticalLayout_2.setMargin(0)
self.verticalLayout_2.setObjectName(_fromUtf8("verticalLayout_2"))
self.widget = QtGui.QWidget(self.frame)
self.widget.setObjectName(_fromUtf8("widget"))
self.horizontalLayout_2 = QtGui.QHBoxLayout(self.widget)
self.horizontalLayout_2.setMargin(0)
self.horizontalLayout_2.setObjectName(_fromUtf8("horizontalLayout_2"))
self.widget_3 = QtGui.QWidget(self.widget)
self.widget_3.setObjectName(_fromUtf8("widget_3"))
self.verticalLayout_3 = QtGui.QVBoxLayout(self.widget_3)
self.verticalLayout_3.setMargin(0)
self.verticalLayout_3.setObjectName(_fromUtf8("verticalLayout_3"))
self.widget_2 = QtGui.QWidget(self.widget_3)
self.widget_2.setObjectName(_fromUtf8("widget_2"))
self.horizontalLayout = QtGui.QHBoxLayout(self.widget_2)
self.horizontalLayout.setMargin(0)
self.horizontalLayout.setObjectName(_fromUtf8("horizontalLayout"))
self.verticalLayout_3.addWidget(self.widget_2)
self.widget_7 = QtGui.QWidget(self.widget_3)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.widget_7.sizePolicy().hasHeightForWidth())
self.widget_7.setSizePolicy(sizePolicy)
self.widget_7.setObjectName(_fromUtf8("widget_7"))
self.horizontalLayout_5 = QtGui.QHBoxLayout(self.widget_7)
self.horizontalLayout_5.setMargin(0)
self.horizontalLayout_5.setObjectName(_fromUtf8("horizontalLayout_5"))
self.frame_4 = QtGui.QFrame(self.widget_7)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.frame_4.sizePolicy().hasHeightForWidth())
self.frame_4.setSizePolicy(sizePolicy)
self.frame_4.setFrameShape(QtGui.QFrame.StyledPanel)
self.frame_4.setObjectName(_fromUtf8("frame_4"))
self.gridLayout = QtGui.QGridLayout(self.frame_4)
self.gridLayout.setSpacing(0)
self.gridLayout.setContentsMargins(4, 4, 4, 0)
self.gridLayout.setObjectName(_fromUtf8("gridLayout"))
self.button_line = QtGui.QPushButton(self.frame_4)
self.button_line.setText(_fromUtf8(""))
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/line_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_line.setIcon(icon)
self.button_line.setIconSize(QtCore.QSize(32, 32))
self.button_line.setCheckable(True)
self.button_line.setChecked(True)
self.button_line.setFlat(True)
self.button_line.setObjectName(_fromUtf8("button_line"))
self.gridLayout.addWidget(self.button_line, 0, 0, 1, 1)
self.button_arrow = QtGui.QPushButton(self.frame_4)
self.button_arrow.setText(_fromUtf8(""))
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/arrow_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_arrow.setIcon(icon1)
self.button_arrow.setIconSize(QtCore.QSize(32, 32))
self.button_arrow.setCheckable(True)
self.button_arrow.setFlat(True)
self.button_arrow.setObjectName(_fromUtf8("button_arrow"))
self.gridLayout.addWidget(self.button_arrow, 0, 1, 1, 1)
self.button_textline = QtGui.QPushButton(self.frame_4)
self.button_textline.setText(_fromUtf8(""))
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/textline_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_textline.setIcon(icon2)
self.button_textline.setIconSize(QtCore.QSize(32, 32))
self.button_textline.setCheckable(True)
self.button_textline.setFlat(True)
self.button_textline.setObjectName(_fromUtf8("button_textline"))
self.gridLayout.addWidget(self.button_textline, 0, 2, 1, 1)
self.button_image = QtGui.QPushButton(self.frame_4)
self.button_image.setText(_fromUtf8(""))
icon3 = QtGui.QIcon()
icon3.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/image_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_image.setIcon(icon3)
self.button_image.setIconSize(QtCore.QSize(32, 32))
self.button_image.setCheckable(True)
self.button_image.setFlat(True)
self.button_image.setObjectName(_fromUtf8("button_image"))
self.gridLayout.addWidget(self.button_image, 0, 3, 1, 1)
self.button_gabor = QtGui.QPushButton(self.frame_4)
self.button_gabor.setText(_fromUtf8(""))
icon4 = QtGui.QIcon()
icon4.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/gabor.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_gabor.setIcon(icon4)
self.button_gabor.setIconSize(QtCore.QSize(32, 32))
self.button_gabor.setCheckable(True)
self.button_gabor.setFlat(True)
self.button_gabor.setObjectName(_fromUtf8("button_gabor"))
self.gridLayout.addWidget(self.button_gabor, 0, 4, 1, 1)
self.button_rect = QtGui.QPushButton(self.frame_4)
self.button_rect.setText(_fromUtf8(""))
icon5 = QtGui.QIcon()
icon5.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/rectangle_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_rect.setIcon(icon5)
self.button_rect.setIconSize(QtCore.QSize(32, 32))
self.button_rect.setCheckable(True)
self.button_rect.setFlat(True)
self.button_rect.setObjectName(_fromUtf8("button_rect"))
self.gridLayout.addWidget(self.button_rect, 1, 0, 1, 1)
self.button_ellipse = QtGui.QPushButton(self.frame_4)
self.button_ellipse.setText(_fromUtf8(""))
icon6 = QtGui.QIcon()
icon6.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/ellipse_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_ellipse.setIcon(icon6)
self.button_ellipse.setIconSize(QtCore.QSize(32, 32))
self.button_ellipse.setCheckable(True)
self.button_ellipse.setFlat(True)
self.button_ellipse.setObjectName(_fromUtf8("button_ellipse"))
self.gridLayout.addWidget(self.button_ellipse, 1, 1, 1, 1)
self.button_circle = QtGui.QPushButton(self.frame_4)
self.button_circle.setText(_fromUtf8(""))
icon7 = QtGui.QIcon()
icon7.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/circle_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_circle.setIcon(icon7)
self.button_circle.setIconSize(QtCore.QSize(32, 32))
self.button_circle.setCheckable(True)
self.button_circle.setFlat(True)
self.button_circle.setObjectName(_fromUtf8("button_circle"))
self.gridLayout.addWidget(self.button_circle, 1, 2, 1, 1)
self.button_fixdot = QtGui.QPushButton(self.frame_4)
self.button_fixdot.setText(_fromUtf8(""))
icon8 = QtGui.QIcon()
icon8.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/fixdot_large.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_fixdot.setIcon(icon8)
self.button_fixdot.setIconSize(QtCore.QSize(32, 32))
self.button_fixdot.setCheckable(True)
self.button_fixdot.setFlat(True)
self.button_fixdot.setObjectName(_fromUtf8("button_fixdot"))
self.gridLayout.addWidget(self.button_fixdot, 1, 3, 1, 1)
self.widget_5 = QtGui.QWidget(self.frame_4)
self.widget_5.setObjectName(_fromUtf8("widget_5"))
self.gridLayout.addWidget(self.widget_5, 2, 1, 1, 1)
self.button_noise_patch = QtGui.QPushButton(self.frame_4)
self.button_noise_patch.setText(_fromUtf8(""))
icon9 = QtGui.QIcon()
icon9.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/noise_patch.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_noise_patch.setIcon(icon9)
self.button_noise_patch.setIconSize(QtCore.QSize(32, 32))
self.button_noise_patch.setCheckable(True)
self.button_noise_patch.setFlat(True)
self.button_noise_patch.setObjectName(_fromUtf8("button_noise_patch"))
self.gridLayout.addWidget(self.button_noise_patch, 1, 4, 1, 1)
self.horizontalLayout_5.addWidget(self.frame_4)
self.frame_5 = QtGui.QFrame(self.widget_7)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.frame_5.sizePolicy().hasHeightForWidth())
self.frame_5.setSizePolicy(sizePolicy)
self.frame_5.setMinimumSize(QtCore.QSize(250, 0))
self.frame_5.setFrameShape(QtGui.QFrame.StyledPanel)
self.frame_5.setObjectName(_fromUtf8("frame_5"))
self.gridLayout_2 = QtGui.QGridLayout(self.frame_5)
self.gridLayout_2.setMargin(4)
self.gridLayout_2.setSpacing(4)
self.gridLayout_2.setObjectName(_fromUtf8("gridLayout_2"))
self.label_options = QtGui.QLabel(self.frame_5)
font = QtGui.QFont()
font.setItalic(True)
self.label_options.setFont(font)
self.label_options.setObjectName(_fromUtf8("label_options"))
self.gridLayout_2.addWidget(self.label_options, 0, 0, 1, 3)
self.label_arrow_size = QtGui.QLabel(self.frame_5)
self.label_arrow_size.setObjectName(_fromUtf8("label_arrow_size"))
self.gridLayout_2.addWidget(self.label_arrow_size, 4, 0, 1, 1)
self.edit_color = color_edit(self.frame_5)
self.edit_color.setObjectName(_fromUtf8("edit_color"))
self.gridLayout_2.addWidget(self.edit_color, 2, 1, 1, 2)
self.edit_show_if = QtGui.QLineEdit(self.frame_5)
self.edit_show_if.setText(_fromUtf8("always"))
self.edit_show_if.setObjectName(_fromUtf8("edit_show_if"))
self.gridLayout_2.addWidget(self.edit_show_if, 1, 1, 1, 2)
self.label_show_if = QtGui.QLabel(self.frame_5)
self.label_show_if.setObjectName(_fromUtf8("label_show_if"))
self.gridLayout_2.addWidget(self.label_show_if, 1, 0, 1, 1)
self.label_color = QtGui.QLabel(self.frame_5)
self.label_color.setObjectName(_fromUtf8("label_color"))
self.gridLayout_2.addWidget(self.label_color, 2, 0, 1, 1)
self.checkbox_center = QtGui.QCheckBox(self.frame_5)
self.checkbox_center.setChecked(True)
self.checkbox_center.setObjectName(_fromUtf8("checkbox_center"))
self.gridLayout_2.addWidget(self.checkbox_center, 7, 0, 1, 3)
self.spin_arrow_size = QtGui.QSpinBox(self.frame_5)
self.spin_arrow_size.setProperty("value", 10)
self.spin_arrow_size.setObjectName(_fromUtf8("spin_arrow_size"))
self.gridLayout_2.addWidget(self.spin_arrow_size, 4, 1, 1, 2)
self.label_penwidth = QtGui.QLabel(self.frame_5)
self.label_penwidth.setObjectName(_fromUtf8("label_penwidth"))
self.gridLayout_2.addWidget(self.label_penwidth, 3, 0, 1, 1)
self.checkbox_fill = QtGui.QCheckBox(self.frame_5)
self.checkbox_fill.setObjectName(_fromUtf8("checkbox_fill"))
self.gridLayout_2.addWidget(self.checkbox_fill, 6, 0, 1, 3)
self.widget_font = font_widget(self.frame_5)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.widget_font.sizePolicy().hasHeightForWidth())
self.widget_font.setSizePolicy(sizePolicy)
self.widget_font.setObjectName(_fromUtf8("widget_font"))
self.gridLayout_2.addWidget(self.widget_font, 9, 0, 1, 3)
self.spin_penwidth = QtGui.QSpinBox(self.frame_5)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.spin_penwidth.sizePolicy().hasHeightForWidth())
self.spin_penwidth.setSizePolicy(sizePolicy)
self.spin_penwidth.setMinimum(1)
self.spin_penwidth.setMaximum(99)
self.spin_penwidth.setObjectName(_fromUtf8("spin_penwidth"))
self.gridLayout_2.addWidget(self.spin_penwidth, 3, 1, 1, 2)
self.label_scale = QtGui.QLabel(self.frame_5)
self.label_scale.setObjectName(_fromUtf8("label_scale"))
self.gridLayout_2.addWidget(self.label_scale, 5, 0, 1, 1)
self.spin_scale = QtGui.QDoubleSpinBox(self.frame_5)
self.spin_scale.setDecimals(0)
self.spin_scale.setMinimum(1.0)
self.spin_scale.setMaximum(1000.0)
self.spin_scale.setProperty("value", 100.0)
self.spin_scale.setObjectName(_fromUtf8("spin_scale"))
self.gridLayout_2.addWidget(self.spin_scale, 5, 1, 1, 2)
self.checkbox_html = QtGui.QCheckBox(self.frame_5)
self.checkbox_html.setChecked(True)
self.checkbox_html.setObjectName(_fromUtf8("checkbox_html"))
self.gridLayout_2.addWidget(self.checkbox_html, 8, 0, 1, 2)
self.horizontalLayout_5.addWidget(self.frame_5)
spacerItem = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
self.horizontalLayout_5.addItem(spacerItem)
self.frame_9 = QtGui.QFrame(self.widget_7)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.frame_9.sizePolicy().hasHeightForWidth())
self.frame_9.setSizePolicy(sizePolicy)
self.frame_9.setFrameShape(QtGui.QFrame.StyledPanel)
self.frame_9.setObjectName(_fromUtf8("frame_9"))
self.gridLayout_3 = QtGui.QGridLayout(self.frame_9)
self.gridLayout_3.setMargin(4)
self.gridLayout_3.setSpacing(4)
self.gridLayout_3.setObjectName(_fromUtf8("gridLayout_3"))
self.label_6 = QtGui.QLabel(self.frame_9)
self.label_6.setObjectName(_fromUtf8("label_6"))
self.gridLayout_3.addWidget(self.label_6, 0, 0, 1, 1)
self.spin_zoom = QtGui.QSpinBox(self.frame_9)
self.spin_zoom.setMinimum(10)
self.spin_zoom.setMaximum(500)
self.spin_zoom.setProperty("value", 100)
self.spin_zoom.setObjectName(_fromUtf8("spin_zoom"))
self.gridLayout_3.addWidget(self.spin_zoom, 0, 1, 1, 1)
self.label_5 = QtGui.QLabel(self.frame_9)
self.label_5.setObjectName(_fromUtf8("label_5"))
self.gridLayout_3.addWidget(self.label_5, 1, 0, 1, 1)
self.spin_grid = QtGui.QSpinBox(self.frame_9)
self.spin_grid.setMinimum(1)
self.spin_grid.setProperty("value", 32)
self.spin_grid.setObjectName(_fromUtf8("spin_grid"))
self.gridLayout_3.addWidget(self.spin_grid, 1, 1, 1, 1)
self.checkbox_show_grid = QtGui.QCheckBox(self.frame_9)
self.checkbox_show_grid.setChecked(True)
self.checkbox_show_grid.setObjectName(_fromUtf8("checkbox_show_grid"))
self.gridLayout_3.addWidget(self.checkbox_show_grid, 2, 0, 1, 1)
self.label_mouse_pos = QtGui.QLabel(self.frame_9)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.label_mouse_pos.sizePolicy().hasHeightForWidth())
self.label_mouse_pos.setSizePolicy(sizePolicy)
self.label_mouse_pos.setMinimumSize(QtCore.QSize(100, 0))
self.label_mouse_pos.setAlignment(QtCore.Qt.AlignRight|QtCore.Qt.AlignTrailing|QtCore.Qt.AlignVCenter)
self.label_mouse_pos.setObjectName(_fromUtf8("label_mouse_pos"))
self.gridLayout_3.addWidget(self.label_mouse_pos, 2, 1, 1, 1)
self.widget_6 = QtGui.QWidget(self.frame_9)
self.widget_6.setObjectName(_fromUtf8("widget_6"))
self.gridLayout_3.addWidget(self.widget_6, 3, 0, 1, 1)
self.horizontalLayout_5.addWidget(self.frame_9)
self.verticalLayout_3.addWidget(self.widget_7)
self.frame_notification = QtGui.QFrame(self.widget_3)
self.frame_notification.setFrameShape(QtGui.QFrame.StyledPanel)
self.frame_notification.setFrameShadow(QtGui.QFrame.Raised)
self.frame_notification.setObjectName(_fromUtf8("frame_notification"))
self.horizontalLayout_3 = QtGui.QHBoxLayout(self.frame_notification)
self.horizontalLayout_3.setSpacing(8)
self.horizontalLayout_3.setMargin(5)
self.horizontalLayout_3.setObjectName(_fromUtf8("horizontalLayout_3"))
self.pixmap_notification = QtGui.QLabel(self.frame_notification)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.pixmap_notification.sizePolicy().hasHeightForWidth())
self.pixmap_notification.setSizePolicy(sizePolicy)
self.pixmap_notification.setText(_fromUtf8(""))
self.pixmap_notification.setPixmap(QtGui.QPixmap(_fromUtf8(":/icons/about_large.png")))
self.pixmap_notification.setObjectName(_fromUtf8("pixmap_notification"))
self.horizontalLayout_3.addWidget(self.pixmap_notification)
self.label_notification = QtGui.QLabel(self.frame_notification)
self.label_notification.setWordWrap(True)
self.label_notification.setOpenExternalLinks(True)
self.label_notification.setObjectName(_fromUtf8("label_notification"))
self.horizontalLayout_3.addWidget(self.label_notification)
self.button_edit_script = QtGui.QPushButton(self.frame_notification)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.button_edit_script.sizePolicy().hasHeightForWidth())
self.button_edit_script.setSizePolicy(sizePolicy)
icon10 = QtGui.QIcon()
icon10.addPixmap(QtGui.QPixmap(_fromUtf8(":/icons/script.png")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.button_edit_script.setIcon(icon10)
self.button_edit_script.setIconSize(QtCore.QSize(16, 16))
self.button_edit_script.setObjectName(_fromUtf8("button_edit_script"))
self.horizontalLayout_3.addWidget(self.button_edit_script)
self.verticalLayout_3.addWidget(self.frame_notification)
self.scrollArea = QtGui.QScrollArea(self.widget_3)
self.scrollArea.setWidgetResizable(True)
self.scrollArea.setObjectName(_fromUtf8("scrollArea"))
self.scrollAreaWidgetContents = QtGui.QWidget()
self.scrollAreaWidgetContents.setGeometry(QtCore.QRect(0, 0, 1047, 398))
self.scrollAreaWidgetContents.setObjectName(_fromUtf8("scrollAreaWidgetContents"))
self.verticalLayout_5 = QtGui.QVBoxLayout(self.scrollAreaWidgetContents)
self.verticalLayout_5.setObjectName(_fromUtf8("verticalLayout_5"))
self.view = QtGui.QGraphicsView(self.scrollAreaWidgetContents)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.view.sizePolicy().hasHeightForWidth())
self.view.setSizePolicy(sizePolicy)
self.view.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff)
self.view.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff)
self.view.setObjectName(_fromUtf8("view"))
self.verticalLayout_5.addWidget(self.view)
self.widget_items = QtGui.QWidget(self.scrollAreaWidgetContents)
self.widget_items.setObjectName(_fromUtf8("widget_items"))
self.verticalLayout_5.addWidget(self.widget_items)
self.scrollArea.setWidget(self.scrollAreaWidgetContents)
self.verticalLayout_3.addWidget(self.scrollArea)
self.horizontalLayout_2.addWidget(self.widget_3)
self.verticalLayout_2.addWidget(self.widget)
self.verticalLayout.addWidget(self.frame)
self.retranslateUi(sketchpad_widget)
QtCore.QMetaObject.connectSlotsByName(sketchpad_widget)
