Created by: jaredwindover
Made changes as per dpvc's suggestions.
Added a flag mjPending
to signal that the content has changed while the typesetting was happening. Setting the flag requeues CreatePreview()
. This flag is then used for early exit instead of mjRunning
This can close #1132 (closed).