Profiler display fixes (#1949)

* Fixing details tab, window resizing, and having profiler options in object explorer

* Fixing displaying connection names

* spacing

* Removing unnecessary code
This commit is contained in:
Madeline MacDonald
2018-07-16 17:20:13 -07:00
committed by GitHub
parent c23328564f
commit f24f576b72
4 changed files with 8 additions and 2 deletions

View File

@@ -50,6 +50,7 @@ class BasicView extends View {
private _previousSize: number;
private _collapsed: boolean;
public headerSize: number;
constructor(
initialSize: number,
private _element: HTMLElement,
@@ -58,6 +59,7 @@ class BasicView extends View {
opts: IViewOptions
) {
super(initialSize, opts);
this._previousSize = initialSize;
}
render(container: HTMLElement, orientation: Orientation): void {