development/github-desktop
development/github-desktop
1
0
Fork 0
mirror of https://github.com/desktop/desktop synced 2024-08-25 03:07:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Probably a better way...

Browse source
This commit is contained in:
tidy-dev 2022-02-08 13:08:08 -05:00
parent 77ffaa97b3
commit 2e4ff14c5f
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
app/src/ui/diff/editor-configuration-extra.ts
View file

@ -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