Increase scrollbar width

2022-11-02 09:58:15 -04:00
parent 1820be4990
commit 7981cd45ed
1 changed files with 1 additions and 1 deletions
@@ -261,7 +261,7 @@ export default function editor(colorScheme: ColorScheme) {
      },
    },
    scrollbar: {
-      width: 8,
+      width: 12,
      minHeightFactor: 1.0,
      track: {
        border: border(layer, "variant", { left: true }),