ruff/playground
Micha Reiser ef58287c16
playground: Merge `Editor` state variables (#5831)
<!--
Thank you for contributing to Ruff! To help us out with reviewing, please consider the following:

- Does this pull request include a summary of the change? (See below.)
- Does this pull request include a descriptive title?
- Does this pull request include references to any relevant issues?
-->

## Summary

This PR removes state variables that can be derived, merges related variables into a single state, and generally avoids `null` states. 

## Test Plan

I clicked through the playground locally
<!-- How was it tested? -->
2023-07-18 08:08:24 +02:00
..
public Use Ruff favicon for playground (#5752) 2023-07-14 01:11:44 +00:00
src playground: Merge `Editor` state variables (#5831) 2023-07-18 08:08:24 +02:00
.eslintrc Enable Quick Fix in the playground (#1395) 2022-12-26 19:25:50 -05:00
.gitignore Add ESLint, Prettier, and TypeScript checks (#1384) 2022-12-26 15:08:22 -05:00
.prettierignore Upgrade playground dependencies (#5830) 2023-07-18 08:00:54 +02:00
.prettierrc.json Use trailingComma: 'all' (#1457) 2022-12-29 19:36:51 -05:00
README.md playground: Merge `Editor` state variables (#5831) 2023-07-18 08:08:24 +02:00
index.html Upgrade playground dependencies (#5830) 2023-07-18 08:00:54 +02:00
package-lock.json Upgrade playground dependencies (#5830) 2023-07-18 08:00:54 +02:00
package.json playground: Merge `Editor` state variables (#5831) 2023-07-18 08:08:24 +02:00
postcss.config.cjs Re-style the Ruff playground (#1438) 2022-12-29 11:47:27 -05:00
tailwind.config.cjs Minor tweaks to playground color scheme (#5754) 2023-07-13 22:37:18 -04:00
tsconfig.json Web playground with WASM (#1279) 2022-12-26 12:09:17 -05:00
tsconfig.node.json Web playground with WASM (#1279) 2022-12-26 12:09:17 -05:00
vite.config.ts Web playground with WASM (#1279) 2022-12-26 12:09:17 -05:00

README.md

playground

In-browser playground for Ruff. Available https://play.ruff.rs/.

Getting started

  • To build the WASM module, run npm run build:wasm from the ./playground directory.
  • Install TypeScript dependencies with: npm install.
  • Start the development server with: npm run dev.

Implementation

Design based on Tailwind Play. Themed with ayu.