@@ -764,13 +764,13 @@ export class InteractiveEditorZoneWidget extends ZoneWidget {
764
764
protected override _doLayout ( heightInPixel : number ) : void {
765
765
766
766
const maxWidth = ! this . widget . showsAnyPreview ( ) ? 640 : Number . MAX_SAFE_INTEGER ;
767
- const width = Math . min ( maxWidth , this . _availableSpaceWithIndentation ( ) ) ;
767
+ const width = Math . min ( maxWidth , this . _availableSpaceGivenIndentation ( ) ) ;
768
768
this . _dimension = new Dimension ( width , heightInPixel ) ;
769
769
this . widget . domNode . style . width = `${ width } px` ;
770
770
this . widget . layout ( this . _dimension ) ;
771
771
}
772
772
773
- private _availableSpaceWithIndentation ( ) : number {
773
+ private _availableSpaceGivenIndentation ( ) : number {
774
774
const info = this . editor . getLayoutInfo ( ) ;
775
775
return info . contentWidth - ( info . glyphMarginWidth + info . decorationsWidth + this . _indentationWidth ) ;
776
776
}
@@ -815,7 +815,7 @@ export class InteractiveEditorZoneWidget extends ZoneWidget {
815
815
this . _indentationWidth = this . editor . getOffsetForColumn ( indentationLineNumber ?? endLineNumber , indentationLevel ?? viewModel . getLineFirstNonWhitespaceColumn ( endLineNumber ) ) ;
816
816
const marginWithoutIndentation = info . glyphMarginWidth + info . decorationsWidth + info . lineNumbersWidth ;
817
817
const marginWithIndentation = marginWithoutIndentation + this . _indentationWidth ;
818
- const isEnoughAvailableSpaceWithIndentation = this . _availableSpaceWithIndentation ( ) > 400 ;
818
+ const isEnoughAvailableSpaceWithIndentation = this . _availableSpaceGivenIndentation ( ) > 400 ;
819
819
this . _indentationWidth = isEnoughAvailableSpaceWithIndentation ? this . _indentationWidth : 0 ;
820
820
const spaceLeft = isEnoughAvailableSpaceWithIndentation ? marginWithIndentation : marginWithoutIndentation ;
821
821
const spaceRight = info . minimap . minimapWidth + info . verticalScrollbarWidth ;
0 commit comments