diff options
| -rw-r--r-- | src/client/views/PropertiesView.tsx | 7 | ||||
| -rw-r--r-- | src/client/views/nodes/FilterBox.tsx | 1 |
2 files changed, 3 insertions, 5 deletions
diff --git a/src/client/views/PropertiesView.tsx b/src/client/views/PropertiesView.tsx index 1bd5a8410..df4dd7788 100644 --- a/src/client/views/PropertiesView.tsx +++ b/src/client/views/PropertiesView.tsx @@ -937,7 +937,6 @@ export class PropertiesView extends React.Component<PropertiesViewProps> { this.filterDoc._docFilters = temp; } - filterSubHeight = () => (this.filterDoc.currentFilter as Doc)[HeightSym](); @computed get filtersSubMenu() { return !(this.filterDoc?.currentFilter instanceof Doc) ? (null) : <div className="propertiesView-filters"> <div className="propertiesView-filters-title" @@ -950,7 +949,7 @@ export class PropertiesView extends React.Component<PropertiesViewProps> { </div> { !this.openFilters ? (null) : - <div className="propertiesView-filters-content" style={{ height: this.filterSubHeight() + 15 }}> + <div className="propertiesView-filters-content" style={{ height: this.filterDoc.currentFilter[HeightSym]() + 15 }}> <DocumentView Document={this.filterDoc.currentFilter as Doc} DataDoc={undefined} @@ -960,8 +959,8 @@ export class PropertiesView extends React.Component<PropertiesViewProps> { rootSelected={returnTrue} removeDocument={returnFalse} ScreenToLocalTransform={this.getTransform} - PanelWidth={this.docWidth} - PanelHeight={this.filterSubHeight} + PanelWidth={() => this.props.width} + PanelHeight={this.filterDoc.currentFilter[HeightSym]} renderDepth={0} scriptContext={this.filterDoc.currentFilter as Doc} focus={emptyFunction} diff --git a/src/client/views/nodes/FilterBox.tsx b/src/client/views/nodes/FilterBox.tsx index 65de0a296..501d02dc4 100644 --- a/src/client/views/nodes/FilterBox.tsx +++ b/src/client/views/nodes/FilterBox.tsx @@ -371,7 +371,6 @@ export class FilterBox extends ViewBoxBaseComponent<FieldViewProps, FilterBoxDoc // TODO uncomment the line below when the treeview x works // const options = this._allFacets.filter(facet => this.currentFacets.indexOf(facet) === -1).map(facet => ({ value: facet, label: facet })); const options = this._allFacets.map(facet => ({ value: facet, label: facet })); - console.log(this.props.PanelHeight()); return this.props.dontRegisterView ? (null) : <div className="filterBox-treeView" style={{ width: "100%" }}> <div className="filterBox-title"> |