Fix scrollbar gutters on web (#1401)

* Fix scrollbar gutters on web * Fix typecheck
2023-09-07 09:32:14 -07:00
parent 138e6d9b97
commit 2963fb4c6d
4 changed files with 18 additions and 12 deletions
@@ -95,6 +95,9 @@
      *[data-word-wrap] {
        word-break: break-word;
      }
+      *[data-stable-gutters] {
+        scrollbar-gutter: stable both-edges;
+      }

      /* ProseMirror */
      .ProseMirror {