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 #8442.
astral-sh · Nov 3, 2023 · b9994dc · b9994dc
1 parent f16505d
commit b9994dc
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 8 deletions.
diff --git 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
@@ -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;