From 6df84a8246826d211f304ac6aecf76b8635bd83f Mon Sep 17 00:00:00 2001
From: Tyler Schicke <tyler_schicke@brown.edu>
Date: Fri, 5 Jul 2019 16:36:26 -0400
Subject: fix

---
 src/client/views/MainView.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/client/views/MainView.tsx b/src/client/views/MainView.tsx
index 92468e3fd..49dc4a2a1 100644
--- a/src/client/views/MainView.tsx
+++ b/src/client/views/MainView.tsx
@@ -300,7 +300,7 @@ export class MainView extends React.Component {
         let gridGap = NumCast(sidebar.gridGap, 10);
         let yMargin = NumCast(sidebar.yMargin, 2 * gridGap);
         let libraryHeight = this.getPHeight() - workspacesDoc[HeightSym]() - recentDoc[HeightSym]() - 2 * gridGap - 2 * yMargin;
-        if (library[HeightSym]() != libraryHeight) {
+        if (Math.abs(library[HeightSym]() - libraryHeight) > 5) {
             setTimeout(() => CurrentUserUtils.UserDocument.height = libraryHeight, 0);
         }
         return <DocumentView
-- 
cgit v1.2.3-70-g09d2