Smarter background compilation #6
Description
The background compiler should only request compilation when the source code changes and the user has been inactive for a short while.
{{ message }}
The background compiler should only request compilation when the source code changes and the user has been inactive for a short while.