tools
tools copied to clipboard
docs(website): added checkbox to toggle linter in playground
Summary
Fixes #3010
I added a checkbox in the Linter section.

- The Linter / Diagnostics tab in Playground now displays the message Linter is currently disabled, in case the tab is open, but the checkbox unchecked
- The nursery rules checkbox becomes disabled, but displays its previous value if linting is disabled
Deploy Preview for docs-rometools ready!
Built without sensitive environment variables
| Name | Link |
|---|---|
| Latest commit | a0811b3efa397e5c1d9c6de9342b2bebd0026020 |
| Latest deploy log | https://app.netlify.com/sites/docs-rometools/deploys/637132f5e2e59d0009997615 |
| Deploy Preview | https://deploy-preview-3699--docs-rometools.netlify.app/playground |
| Preview on mobile | Toggle QR Code...Use your smartphone camera to open QR code link. |
To edit notification comments on pull requests, go to your Netlify site settings.
Thank you so much!