From b8e41f32eba62a3e569e82e2908f4ff0c1e29f6c Mon Sep 17 00:00:00 2001
From: Tyler Schicke <tyler_schicke@brown.edu>
Date: Fri, 5 Jul 2019 16:39:38 -0400
Subject: fix 2

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

(limited to 'src/client/views/MainView.tsx')

diff --git a/src/client/views/MainView.tsx b/src/client/views/MainView.tsx
index 49dc4a2a1..d709a1a5b 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 (Math.abs(library[HeightSym]() - libraryHeight) > 5) {
+        if (Math.abs(library[HeightSym]() - libraryHeight) > 25) {
             setTimeout(() => CurrentUserUtils.UserDocument.height = libraryHeight, 0);
         }
         return <DocumentView
-- 
cgit v1.2.3-70-g09d2

