Distinguish single edges from double edges
authorChristoph Egger <siccegge@cs.fau.de>
Tue, 3 Jun 2014 17:19:51 +0000 (19:19 +0200)
committerChristoph Egger <siccegge@cs.fau.de>
Tue, 3 Jun 2014 17:19:51 +0000 (19:19 +0200)
commitff589cd22b761fd4990e3ad7041b47e384b9e07d
treefc296c721ff559c82ea0023ac7fe6ab0eff4305a
parentd51782798930575415d53300340ede3a004f1661
Distinguish single edges from double edges
src/gui/widgets/BasicBlockWidget.hxx