[gjs: 2/4] heapgraph: Add special formatting for Proxy nodes

[Philip Chimento <pchimento src gnome org>]

commit 0047f62fe8086c0007f66c5c33ed08daf7fd8eb7
Author: Philip Chimento <philip chimento gmail com>
Date:   Sat Aug 10 18:50:41 2019 -0700

    heapgraph: Add special formatting for Proxy nodes
    
    Proxies will play a large role in GJS, after the taking-out-the-garbage
    patches are merged, so they should be formatted specially in heapgraph
    output.
    
    See GNOME/gjs#217.

 tools/heapdot.py | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/tools/heapdot.py b/tools/heapdot.py
index c580669a..f47fdae7 100644
--- a/tools/heapdot.py
+++ b/tools/heapdot.py
@@ -119,6 +119,10 @@ def output_dot_file(args, graph, targs, fname):
         elif label.startswith('WeakMap'):
             label = 'WeakMap'
             style = 'dashed'
+        # A Proxy
+        elif label.startswith('Proxy'):
+            shape = 'doublecircle'
+            color = 'goldenrod2'
         # Mostly uninteresting objects
         elif label in ['base_shape', 'object_group', 'type_object']:
             style = 'dotted'