From 2e34f2cd2be6da4244cac2624498a1803edde6f9 Mon Sep 17 00:00:00 2001
From: erg <devnull@localhost>
Date: Mon, 29 Jan 2007 23:35:54 +0000
Subject: [PATCH] Have dotty set the default fill color to lightgray to be
 consistent with dot - fix bug 1072

---
 cmd/dotty/dotty.lefty | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cmd/dotty/dotty.lefty b/cmd/dotty/dotty.lefty
index 561d0a8b8..dc888db8e 100644
--- a/cmd/dotty/dotty.lefty
+++ b/cmd/dotty/dotty.lefty
@@ -84,6 +84,7 @@ dotty = [
                 'fontname' = 'Times-Roman';
                 'fontcolor' = 'black';
                 'color' = 'black';
+                'fillcolor' = 'lightgray';
                 'style' = 'solid';
             ];
             'edgeattr' = [
-- 
2.40.0