3 Commits

Author	SHA1	Message	Date
Erich Schubert	e93b793bd6	Get rid of these margins, then we don't need port="p" anymore.	2018-10-28 13:34:16 +01:00
Erich Schubert	1d03695f8e	Produce simpler dot files, reduce code duplication in edge generation.	2018-10-27 23:23:47 +02:00
Erich Schubert	a29ba21580	Fix active class shape broken by commit 1b4c9763 + add test. ... This was easy to break, because of a non-obvious logic. Instead we now use the hack of just using a too large rowspan.	2018-10-26 01:32:31 +02:00