4 Commits

Author	SHA1	Message	Date
berniev	0c70d45c83	Gui: Use override etc 2	2022-08-09 12:43:23 +02:00
Uwe	212506b4f1	[Gui] Graphviz: remove unused includes	2022-03-05 01:34:02 +01:00
wmayer	c601f4cb66	fixes 0003222: Invert zoom setting is not respected in paper/page mode	2019-01-14 11:08:17 +01:00
Eivind Kvedalen	f99fd100e6	Added zoom and automatic refresh of dependency graph view.	2015-06-15 11:32:24 +02:00