diff options
| author | Philip Chimento <philip.chimento@gmail.com> | 2019-08-10 18:50:41 -0700 |
|---|---|---|
| committer | Philip Chimento <philip.chimento@gmail.com> | 2021-05-05 16:36:54 -0700 |
| commit | 0047f62fe8086c0007f66c5c33ed08daf7fd8eb7 (patch) | |
| tree | 04906a4e83a0d7708ea61a69c68bb0d75694bbd7 | |
| parent | 1b763b17a1a041e009e02dda2881464414dae6d8 (diff) | |
| download | gjs-0047f62fe8086c0007f66c5c33ed08daf7fd8eb7.tar.gz | |
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.
| -rw-r--r-- | tools/heapdot.py | 4 |
1 files changed, 4 insertions, 0 deletions
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' |