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);
+ _widget.setStyleSheet("QLabel { background-color : #ddddff; }");
+ _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>";
}
QString new_text =
old_text.remove("</table>") +
"<tr><td>" + bytestring +
- "</td><td>" + line +
+ "</td><td>" + line.toHtmlEscaped() +
"</td><td>" + "" +
"</td></tr></table>";
height = 25 + _widget.sizeHint().height();
if (width < 250) width = 250;
+ _widget.resize(width - 12, height - 25);
}