Fix layout of basicblock with just one instruction

diff --git a/src/gui/widgets/BasicBlockWidget.cxx b/src/gui/widgets/BasicBlockWidget.cxx
index c434c46949f6a4cede34ea28652ba2f1c5c2c61f..0377be3fa2b31882d7a342c75b972eef68b87d40 100644 (file)
--- a/src/gui/widgets/BasicBlockWidget.cxx
+++ b/src/gui/widgets/BasicBlockWidget.cxx
@@ -13,7 +13,7 @@ BasicBlockWidget::BasicBlockWidget(const QString& name, BasicBlock * block)
        _widget.horizontalHeader()->hide();
        _widget.setShowGrid(false);
        _widget.setWordWrap(false);
        _widget.horizontalHeader()->hide();
        _widget.setShowGrid(false);
        _widget.setWordWrap(false);

-       _widget.setMinimumSize(210, 40);
+       _widget.setMinimumSize(210, 20);

 
        _proxy.setWidget(&_widget);
        _proxy.setPos(5, 20);
 
        _proxy.setWidget(&_widget);
        _proxy.setPos(5, 20);