Space table widget appropriately for Qt < 5.3
authorChristoph Egger <siccegge@faui49man12.informatik.uni-erlangen.de>
Thu, 18 Dec 2014 11:57:42 +0000 (12:57 +0100)
committerChristoph Egger <siccegge@faui49man12.informatik.uni-erlangen.de>
Thu, 18 Dec 2014 11:57:42 +0000 (12:57 +0100)
commit78867bb76bf70f3b906d1a1a96edd45a88674c44
treef5bae9c03adf44b28398a1dd060e116340c80b7f
parentcc7580dd344851907ef3003b838da0aa41f6aaf2
Space table widget appropriately for Qt < 5.3

Works this way at least with 5.2 from Ubuntu 14.04

Note: this is a backup commit before replacing the whole thing by QLabel
      + HTML just in case we want to get back to this implementation one
      day
src/gui/widgets/BasicBlockWidget.cxx