From b9994dc495320f54723306457024aca8e870bd32 Mon Sep 17 00:00:00 2001
From: Charlie Marsh <charlie.r.marsh@gmail.com>
Date: Thu, 2 Nov 2023 21:29:37 -0700
Subject: [PATCH] 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.
---
 playground/src/Editor/SourceEditor.tsx |  1 +
 playground/src/index.css               | 12 ++++--------
 2 files changed, 5 insertions(+), 8 deletions(-)

diff --git a/playground/src/Editor/SourceEditor.tsx b/playground/src/Editor/SourceEditor.tsx
index e5da55d91e23a..57f3476ee26bf 100644
--- a/playground/src/Editor/SourceEditor.tsx
+++ b/playground/src/Editor/SourceEditor.tsx
@@ -107,6 +107,7 @@ export default function SourceEditor({
     <Editor
       beforeMount={handleMount}
       options={{
+        fixedOverflowWidgets: true,
         readOnly: false,
         minimap: { enabled: false },
         fontSize: 14,
diff --git a/playground/src/index.css b/playground/src/index.css
index b644d5add34e7..54b6cf59b2feb 100644
--- a/playground/src/index.css
+++ b/playground/src/index.css
@@ -28,8 +28,7 @@ html,
 
 @font-face {
   font-family: "Alliance Text";
-  src:
-    url("../fonts/Alliance-TextRegular.woff2") format("woff2"),
+  src: url("../fonts/Alliance-TextRegular.woff2") format("woff2"),
     url("../fonts/Alliance-TextRegular.woff") format("woff");
   font-weight: normal;
   font-style: normal;
@@ -38,8 +37,7 @@ html,
 
 @font-face {
   font-family: "Alliance Text";
-  src:
-    url("../fonts/Alliance-TextMedium.woff2") format("woff2"),
+  src: url("../fonts/Alliance-TextMedium.woff2") format("woff2"),
     url("../fonts/Alliance-TextMedium.woff") format("woff");
   font-weight: 500;
   font-style: normal;
@@ -48,8 +46,7 @@ html,
 
 @font-face {
   font-family: "Alliance Platt";
-  src:
-    url("../fonts/Alliance-PlattMedium.woff2") format("woff2"),
+  src: url("../fonts/Alliance-PlattMedium.woff2") format("woff2"),
     url("../fonts/Alliance-PlattMedium.woff") format("woff");
   font-weight: 500;
   font-style: normal;
@@ -58,8 +55,7 @@ html,
 
 @font-face {
   font-family: "Alliance Platt";
-  src:
-    url("../fonts/Alliance-PlattRegular.woff2") format("woff2"),
+  src: url("../fonts/Alliance-PlattRegular.woff2") format("woff2"),
     url("../fonts/Alliance-PlattRegular.woff") format("woff");
   font-weight: normal;
   font-style: normal;