From 2963fb4c6dec398a0c39c35e717e175de986622f Mon Sep 17 00:00:00 2001
From: Paul Frazee <pfrazee@gmail.com>
Date: Thu, 7 Sep 2023 09:32:14 -0700
Subject: Fix scrollbar gutters on web (#1401)

* Fix scrollbar gutters on web

* Fix typecheck
---
 web/index.html | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'web')

diff --git a/web/index.html b/web/index.html
index e8f4eb47e..1a9d63b83 100644
--- a/web/index.html
+++ b/web/index.html
@@ -95,6 +95,9 @@
       *[data-word-wrap] {
         word-break: break-word;
       }
+      *[data-stable-gutters] {
+        scrollbar-gutter: stable both-edges;
+      }
 
       /* ProseMirror */
       .ProseMirror {
-- 
cgit 1.4.1