Merge pull request #3976 from Snarling/ScriptEditorResponsiveness

UI: FIX #3975, #3882 Script Editor more responsive on resize, and fix dirty file indicator
2026-04-26 11:10:58 +02:00 · 2022-08-23 12:12:21 -03:00
parent fc7eb72fc0 d4c7edf351
commit 46f5640dcd
4 changed files with 79 additions and 159 deletions
@@ -97,10 +97,10 @@ const useStyles = makeStyles((theme: Theme) =>
      "scrollbar-width": "none" /* for Firefox */,
      margin: theme.spacing(0),
      flexGrow: 1,
-      display: "block",
      padding: "8px",
      minHeight: "100vh",
      boxSizing: "border-box",
+      width: "1px",
    },
  }),
 );