From 7a922ef5b1781c52dd90d10d5877bacf41904eac Mon Sep 17 00:00:00 2001 From: John Ryan Date: Thu, 15 Feb 2024 09:22:25 -0800 Subject: [PATCH] Use consistent scrollbar style (#2837) --- pkgs/sketch_pad/lib/editor/editor.dart | 1 + pkgs/sketch_pad/web/index.html | 34 ++++++++++++++++++++++++++ 2 files changed, 35 insertions(+) diff --git a/pkgs/sketch_pad/lib/editor/editor.dart b/pkgs/sketch_pad/lib/editor/editor.dart index 817540d74..09db53f59 100644 --- a/pkgs/sketch_pad/lib/editor/editor.dart +++ b/pkgs/sketch_pad/lib/editor/editor.dart @@ -392,6 +392,7 @@ const codeMirrorOptions = { }, 'tabSize': 2, 'viewportMargin': 100, + 'scrollbarStyle': 'simple', }; enum CompletionType { diff --git a/pkgs/sketch_pad/web/index.html b/pkgs/sketch_pad/web/index.html index 0cae5c35f..821c2fd2f 100644 --- a/pkgs/sketch_pad/web/index.html +++ b/pkgs/sketch_pad/web/index.html @@ -45,6 +45,40 @@ .squiggle-error { border-bottom: 2px solid #EF5350; } + + .CodeMirror-simplescroll-horizontal div, .CodeMirror-simplescroll-vertical div { + position: absolute; + -moz-box-sizing: border-box; + box-sizing: border-box; + border-radius: 4px; + } + + .CodeMirror-simplescroll-horizontal, .CodeMirror-simplescroll-vertical { + position: absolute; + z-index: 6; + } + + .CodeMirror-simplescroll-horizontal { + bottom: 0; + left: 0; + height: 9px; + } + + .CodeMirror-simplescroll-horizontal div { + bottom: 0; + height: 100%; + } + + .CodeMirror-simplescroll-vertical { + right: 0; + top: 0; + width: 9px; + } + + .CodeMirror-simplescroll-vertical div { + right: 0; + width: 100%; + }