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 | |
| parent | 74c8b78c7119e700655338a32c03f2031186b238 (diff) | |
minor
| -rw-r--r-- | .gitignore | 3 | ||||
| -rw-r--r-- | src/client/views/PropertiesView.tsx | 5 |
2 files changed, 6 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index aeb343fd1..43b63a362 100644 --- a/.gitignore +++ b/.gitignore @@ -16,4 +16,5 @@ src/server/session_manager/logs/**/*.log *.key *.pfx *.properties -debug.log
\ No newline at end of file +debug.log +.vscodeignore
\ No newline at end of file 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} |