@@ -152,7 +152,7 @@ export class SettingsEditor2 extends EditorPane {
152
152
private controlsElement ! : HTMLElement ;
153
153
private settingsTargetsWidget ! : SettingsTargetsWidget ;
154
154
155
- private splitView ! : SplitView ;
155
+ private splitView ! : SplitView < number > ;
156
156
157
157
private settingsTreeContainer ! : HTMLElement ;
158
158
private settingsTree ! : SettingsTree ;
@@ -712,19 +712,19 @@ export class SettingsEditor2 extends EditorPane {
712
712
element : this . tocTreeContainer ,
713
713
minimumSize : SettingsEditor2 . TOC_MIN_WIDTH ,
714
714
maximumSize : Number . POSITIVE_INFINITY ,
715
- layout : ( width ) => {
715
+ layout : ( width , _ , height ) => {
716
716
this . tocTreeContainer . style . width = `${ width } px` ;
717
- this . tocTree . layout ( undefined , width ) ;
717
+ this . tocTree . layout ( height , width ) ;
718
718
}
719
719
} , startingWidth , undefined , true ) ;
720
720
this . splitView . addView ( {
721
721
onDidChange : Event . None ,
722
722
element : this . settingsTreeContainer ,
723
723
minimumSize : SettingsEditor2 . EDITOR_MIN_WIDTH ,
724
724
maximumSize : Number . POSITIVE_INFINITY ,
725
- layout : ( width ) => {
725
+ layout : ( width , _ , height ) => {
726
726
this . settingsTreeContainer . style . width = `${ width } px` ;
727
- this . settingsTree . layout ( undefined , width ) ;
727
+ this . settingsTree . layout ( height , width ) ;
728
728
}
729
729
} , Sizing . Distribute , undefined , true ) ;
730
730
this . _register ( this . splitView . onDidSashReset ( ( ) => {
@@ -1545,7 +1545,7 @@ export class SettingsEditor2 extends EditorPane {
1545
1545
// space it has, otherwise setViewVisible results in the first panel
1546
1546
// showing up at the minimum size whenever the Settings editor
1547
1547
// opens for the first time.
1548
- this . splitView . layout ( this . bodyContainer . clientWidth ) ;
1548
+ this . splitView . layout ( this . bodyContainer . clientWidth , listHeight ) ;
1549
1549
1550
1550
const firstViewWasVisible = this . splitView . isViewVisible ( 0 ) ;
1551
1551
const firstViewVisible = this . bodyContainer . clientWidth >= SettingsEditor2 . NARROW_TOTAL_WIDTH ;
0 commit comments