From 585cda3e5d053de89b6808fea6b541865637713f Mon Sep 17 00:00:00 2001 From: Matt Bierner Date: Wed, 14 Mar 2018 13:48:38 -0700 Subject: [PATCH] More property readonly marking --- src/vs/editor/common/config/editorOptions.ts | 38 ++++++++++---------- 1 file changed, 19 insertions(+), 19 deletions(-) diff --git a/src/vs/editor/common/config/editorOptions.ts b/src/vs/editor/common/config/editorOptions.ts index 921165fc844..e07b48a1fc8 100644 --- a/src/vs/editor/common/config/editorOptions.ts +++ b/src/vs/editor/common/config/editorOptions.ts @@ -1984,31 +1984,31 @@ export class InternalEditorOptionsFactory { * @internal */ export interface IEditorLayoutProviderOpts { - outerWidth: number; - outerHeight: number; + readonly outerWidth: number; + readonly outerHeight: number; - showGlyphMargin: boolean; - lineHeight: number; + readonly showGlyphMargin: boolean; + readonly lineHeight: number; - showLineNumbers: boolean; - lineNumbersMinChars: number; - lineNumbersDigitCount: number; + readonly showLineNumbers: boolean; + readonly lineNumbersMinChars: number; + readonly lineNumbersDigitCount: number; - lineDecorationsWidth: number; + readonly lineDecorationsWidth: number; - typicalHalfwidthCharacterWidth: number; - maxDigitWidth: number; + readonly typicalHalfwidthCharacterWidth: number; + readonly maxDigitWidth: number; - verticalScrollbarWidth: number; - verticalScrollbarHasArrows: boolean; - scrollbarArrowSize: number; - horizontalScrollbarHeight: number; + readonly verticalScrollbarWidth: number; + readonly verticalScrollbarHasArrows: boolean; + readonly scrollbarArrowSize: number; + readonly horizontalScrollbarHeight: number; - minimap: boolean; - minimapSide: string; - minimapRenderCharacters: boolean; - minimapMaxColumn: number; - pixelRatio: number; + readonly minimap: boolean; + readonly minimapSide: string; + readonly minimapRenderCharacters: boolean; + readonly minimapMaxColumn: number; + readonly pixelRatio: number; } /** -- GitLab