3 Commits

Author	SHA1	Message	Date
Uwe	898361d7fc	[Gui] Graphviz: remove unused includes	2022-03-05 01:34:02 +01:00
wmayer	2c42c57560	fixes 0003222: Invert zoom setting is not respected in paper/page mode	2019-01-14 11:08:17 +01:00
Eivind Kvedalen	4ec5710d56	Added zoom and automatic refresh of dependency graph view.	2015-06-15 11:32:24 +02:00