From 2e4ff14c5fa4c0148f5bdc2464190953c106811a Mon Sep 17 00:00:00 2001 From: tidy-dev Date: Tue, 8 Feb 2022 13:08:08 -0500 Subject: [PATCH] Probably a better way... --- app/src/ui/diff/editor-configuration-extra.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/app/src/ui/diff/editor-configuration-extra.ts b/app/src/ui/diff/editor-configuration-extra.ts index 854ba64eff..09aa181b99 100644 --- a/app/src/ui/diff/editor-configuration-extra.ts +++ b/app/src/ui/diff/editor-configuration-extra.ts @@ -5,8 +5,8 @@ import { EditorConfiguration } from 'codemirror' * but aren't. */ export interface IEditorConfigurationExtra extends EditorConfiguration { - /** The scrollbar style for the text area. */ - readonly scrollbarStyle: 'native' | 'simple' + /** The scrollbar style for the text area. 'native', 'simple', 'null' */ + readonly scrollbarStyle?: any /** * This is used by the mark-selection addon and is unused if that