Graph: options for depth colours and dot sizes

Client/Core.py

@@ -172,6 +172,10 @@ class AppConfig:
     # other one opens a dot).
     GraphShowDirectories: bool = True
     GraphPanButton: str = "Right"
+    # Directory dots: heading colours by depth (off: all Mauve), and smaller
+    # the deeper they are.
+    GraphColourByDepth: bool = True
+    GraphShrinkByDepth: bool = False
     # Double-click on a file: True opens it in SaraView's own viewer, False
     # hands it to the system's default program. The menu always offers the other.
     OpenFilesInApp: bool = True