language-servers/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-10-03 23:25:14 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Rename config to settings in the playground (#1450)

Browse source
This commit is contained in:
Charlie Marsh 2022-12-29 16:59:38 -05:00 • committed by GitHub
parent 118a93260a
commit 9f7350961e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 34 additions and 36 deletions
Download patch file Download diff file Expand all files Collapse all files

2
playground/src/Editor/SourceEditor.tsx
View file

@ -7,8 +7,6 @@ import { MarkerSeverity, MarkerTag } from "monaco-editor";
import { useCallback, useEffect } from "react";
import { Check } from "../pkg";
export type Mode = "JSON" | "Python";
export default function SourceEditor({
visible,
source,