Make GUI Widget move Comments through the backend properly
authorChristoph Egger <Christoph.Egger@fau.de>
Fri, 20 Mar 2015 14:29:56 +0000 (15:29 +0100)
committerChristoph Egger <Christoph.Egger@fau.de>
Fri, 20 Mar 2015 14:29:56 +0000 (15:29 +0100)
commit9fd091260777a95432902173a35e15a475f6f9f9
treee3497231a68c50bd70349ebfbfef1234040cb00a
parentaee81ec403637676282822ff680bce9fde998b9f
Make GUI Widget move Comments through the backend properly
src/core/Comment.hxx
src/gui/widgets/BasicBlockWidget.cxx
src/gui/widgets/BasicBlockWidget.hxx