diff analyze_olp.py @ 1975:3701517d852c

Avoid expensive re-init from switching to external sync after render_init has been called
author Michael Pavone <pavone@retrodev.com>
date Fri, 08 May 2020 16:52:32 -0700
parents b1ad6339de4f
children
line wrap: on
line diff