Remove Unused Splitter (#874)

This commit is contained in:
Steve Faulkner
2021-06-09 06:35:25 -07:00
committed by GitHub
parent 2c296ede35
commit 8f6cac3d35
8 changed files with 0 additions and 145 deletions

View File

@@ -158,16 +158,6 @@ export class DocumentsGridMetrics {
public static DocumentEditorMaxWidthRatio: number = 0.4;
}
export class ExplorerMetrics {
public static SplitterMinWidth: number = 240;
public static SplitterMaxWidth: number = 400;
public static CollapsedResourceTreeWidth: number = 36;
}
export class SplitterMetrics {
public static CollapsedPositionLeft: number = ExplorerMetrics.CollapsedResourceTreeWidth;
}
export class Areas {
public static ResourceTree: string = "Resource Tree";
public static ContextualPane: string = "Contextual Pane";