The new playground is nice, but the PDF auto-updating is a bit of a problem, because at least in Edge upon rapid typing the PDF viewer will "crash" and you need to reload the page.
Please add an "auto-update" check-box and a manual update button, or increase the debouncing to a few seconds so that editing does not immediately result in the updates.
The new playground is nice, but the PDF auto-updating is a bit of a problem, because at least in Edge upon rapid typing the PDF viewer will "crash" and you need to reload the page.
Please add an "auto-update" check-box and a manual update button, or increase the debouncing to a few seconds so that editing does not immediately result in the updates.