Fix width of basic blocks
authorChristoph Egger <Christoph.Egger@fau.de>
Fri, 6 Feb 2015 15:13:22 +0000 (16:13 +0100)
committerChristoph Egger <Christoph.Egger@fau.de>
Fri, 6 Feb 2015 15:13:22 +0000 (16:13 +0100)
commit8ab2c60ccb7a4be4119f0672c0fb51816a41d71e
tree51367faaeaa823a8c7842c6db7429c89a805b7ec
parentf47f71fed69162146363c86d95ad18aac9598035
Fix width of basic blocks
src/gui/widgets/BasicBlockWidget.cxx