BasicBlockWidget::BasicBlockWidget(const QString& name, BasicBlock * block)
: width(270), height(45)
- , name(name), block(block) {
+ , name(name), block(block)
+ , _proxy(this) {
next[0] = NULL; next[1] = NULL;
- _widget.move(5, 20);
+ _proxy.setWidget(&_widget);
+ _widget.setTextInteractionFlags(Qt::TextSelectableByMouse|Qt::LinksAccessibleByMouse);
+
+ _proxy.setPos(5, 20);
if (width < 270) width = 270;
}
QString old_text = _widget.text();
if (old_text == "") {
- old_text = "<table style=\"background-color: #ccccff;\">";
+ old_text = "<table style=\"background-color: #ddddff;\">";
}
QString new_text =
old_text.remove("</table>") +
"</td></tr></table>";
_widget.setText(new_text);
+ _widget.resize(_widget.sizeHint().width(), _widget.sizeHint().height());
width = 12 + _widget.sizeHint().width();
height = 25 + _widget.sizeHint().height();