32 QtWidgets.QWidget.__init__(self, parent)
37 self.setMinimumSize(QtCore.QSize(250, 200))
44 self.
tool_bar_.setIconSize(QtCore.QSize(16, 16))
70 """Adds a Widget to this Options Widget.
72 The Widget must have a identifier. If another Widget has the same identifier,
73 the old widget will be removed and the new widget gets the identifier.
74 Returns True, if widget is added. Otherwise it returns False
76 if isinstance(widget, QtWidgets.QWidget)
and ident
is not None:
79 elif hasattr(widget,
"GetText"):
80 string = widget.GetText()
86 action.setIcon(QtGui.QIcon(ident))
87 action.setToolTip(string)
89 action.setData(QtCore.QVariant(pair))
90 action.setCheckable(
True);