diff options
| author | usodhi <61431818+usodhi@users.noreply.github.com> | 2021-03-14 21:21:05 -0400 |
|---|---|---|
| committer | usodhi <61431818+usodhi@users.noreply.github.com> | 2021-03-14 21:21:05 -0400 |
| commit | 8811fb0f177ed1448fa7b3d08ff42145254a0475 (patch) | |
| tree | 20a5fbbf4b84e5915ca8d6252c9b81e8ea0cddcd /src | |
| parent | 74c8b78c7119e700655338a32c03f2031186b238 (diff) | |
minor
Diffstat (limited to 'src')
| -rw-r--r-- | src/client/views/PropertiesView.tsx | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/client/views/PropertiesView.tsx b/src/client/views/PropertiesView.tsx index 128256733..8bffb0778 100644 --- a/src/client/views/PropertiesView.tsx +++ b/src/client/views/PropertiesView.tsx @@ -919,6 +919,9 @@ export class PropertiesView extends React.Component<PropertiesViewProps> { CurrentUserUtils.setupFilterDocs(this.filterDoc); } + /** + * Updates this.filterDoc's currentFilter and saves the docFilters on the currentFilter + */ updateFilterDoc = (doc: Doc) => { if (doc === this.filterDoc.currentFilter) return; // causes problems if you try to reapply the same doc const temp = doc._docFiltersList; @@ -953,7 +956,7 @@ export class PropertiesView extends React.Component<PropertiesViewProps> { removeDocument={returnFalse} ScreenToLocalTransform={this.getTransform} PanelWidth={this.docWidth} - PanelHeight={() => this.docHeight} + PanelHeight={this.docHeight} renderDepth={0} scriptContext={this.filterDoc.currentFilter as Doc} focus={emptyFunction} |