From 8811fb0f177ed1448fa7b3d08ff42145254a0475 Mon Sep 17 00:00:00 2001
From: usodhi <61431818+usodhi@users.noreply.github.com>
Date: Sun, 14 Mar 2021 21:21:05 -0400
Subject: minor

---
 .gitignore                          | 3 ++-
 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}
-- 
cgit v1.2.3-70-g09d2