Ticket #6815 (closed defect: fixed)
Restarting worksheet doesn't enable typesetting even when "Typeset" box is checked
|Reported by:||gmhossain||Owned by:||boothby|
|Cc:||was, mpatel||Work issues:|
Restarting worksheet seems to disable latex typesetting even though "Typeset" box is checked. If I un-check and then re-check the "Typeset" box, it starts working again.