Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix live reload when both CSS and HTML changes
This seems to be a browser bug (tested in both Chrome and Safari on MacOS), but it seems that doing a `window.location.reload()` (or `window.location.reload(true)`) doesn't refresh the CSS changes, even if HTTP caching is disabled. This commit works around this by doing additional refreshes of the CSSes. Closes #12600
- Loading branch information