Properly color text part of basic block widgets
authorChristoph Egger <siccegge@faui49man12.informatik.uni-erlangen.de>
Thu, 8 Jan 2015 17:40:21 +0000 (18:40 +0100)
committerChristoph Egger <siccegge@faui49man12.informatik.uni-erlangen.de>
Thu, 8 Jan 2015 17:40:21 +0000 (18:40 +0100)
commit9904a19c01453a1d86d0249424f2afe9e3263af0
treee257ea409a0b995e0da7d6e37e1ccd6354400c4a
parent079cf5a082a42232de30be1dd88779aac085174c
Properly color text part of basic block widgets

If the text was smaller than the minimum, rendering was ugly
src/gui/widgets/BasicBlockWidget.cxx