Created by: jaredwindover
Added a flag to signal that the content has changed while the typesetting was happening. When the typesetting is finished, another callback checks the flag and either finishes, or else starts typesetting again. This can close #1132 (closed).