diff options
| author | Rusty Wagner <rusty.wagner@gmail.com> | 2022-01-20 14:47:49 -0500 |
|---|---|---|
| committer | Rusty Wagner <rusty.wagner@gmail.com> | 2022-01-20 14:47:49 -0500 |
| commit | 82dd03bf69c53650c99461a02163df53be41e951 (patch) | |
| tree | 8f7c0e8aa51df4d7428227f70bfea6fa9df174b2 /python/types.py | |
| parent | d7dae709f93ef24516ae2db2f1f0d0ee333764f5 (diff) | |
Only show graph header IL picker if pane headers are hidden
Diffstat (limited to 'python/types.py')
0 files changed, 0 insertions, 0 deletions