Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Use `fixedOverflowWidgets` for playground popover (#8458) 

After some Googling...

<img width="656" alt="Screen Shot 2023-11-03 at 12 23 09 AM"
src="https://github.com/astral-sh/ruff/assets/1309177/be6aaa3d-0068-4bad-a27f-01785179567d">

Closes https://github.com/astral-sh/ruff/issues/8442.
This commit is contained in:
Charlie Marsh 2023-11-02 21:29:37 -07:00 committed by GitHub
parent f16505d885
commit b9994dc495
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
playground/src/Editor/SourceEditor.tsx
View File

@ -107,6 +107,7 @@ export default function SourceEditor({
<Editor <Editor
beforeMount={handleMount} beforeMount={handleMount}
options={{ options={{
fixedOverflowWidgets: true,
readOnly: false, readOnly: false,
minimap: { enabled: false }, minimap: { enabled: false },
fontSize: 14, fontSize: 14,

12
playground/src/index.css
View File

@ -28,8 +28,7 @@ html,
@font-face { @font-face {
font-family: "Alliance Text"; font-family: "Alliance Text";
src: src: url("../fonts/Alliance-TextRegular.woff2") format("woff2"),
url("../fonts/Alliance-TextRegular.woff2") format("woff2"),
url("../fonts/Alliance-TextRegular.woff") format("woff"); url("../fonts/Alliance-TextRegular.woff") format("woff");
font-weight: normal; font-weight: normal;
font-style: normal; font-style: normal;
@ -38,8 +37,7 @@ html,
@font-face { @font-face {
font-family: "Alliance Text"; font-family: "Alliance Text";
src: src: url("../fonts/Alliance-TextMedium.woff2") format("woff2"),
url("../fonts/Alliance-TextMedium.woff2") format("woff2"),
url("../fonts/Alliance-TextMedium.woff") format("woff"); url("../fonts/Alliance-TextMedium.woff") format("woff");
font-weight: 500; font-weight: 500;
font-style: normal; font-style: normal;
@ -48,8 +46,7 @@ html,
@font-face { @font-face {
font-family: "Alliance Platt"; font-family: "Alliance Platt";
src: src: url("../fonts/Alliance-PlattMedium.woff2") format("woff2"),
url("../fonts/Alliance-PlattMedium.woff2") format("woff2"),
url("../fonts/Alliance-PlattMedium.woff") format("woff"); url("../fonts/Alliance-PlattMedium.woff") format("woff");
font-weight: 500; font-weight: 500;
font-style: normal; font-style: normal;
@ -58,8 +55,7 @@ html,
@font-face { @font-face {
font-family: "Alliance Platt"; font-family: "Alliance Platt";
src: src: url("../fonts/Alliance-PlattRegular.woff2") format("woff2"),
url("../fonts/Alliance-PlattRegular.woff2") format("woff2"),
url("../fonts/Alliance-PlattRegular.woff") format("woff"); url("../fonts/Alliance-PlattRegular.woff") format("woff");
font-weight: normal; font-weight: normal;
font-style: normal; font-style: normal;