diff options
author | Tyler Schicke <tyler_schicke@brown.edu> | 2019-07-05 16:36:26 -0400 |
---|---|---|
committer | Tyler Schicke <tyler_schicke@brown.edu> | 2019-07-05 16:36:26 -0400 |
commit | 6df84a8246826d211f304ac6aecf76b8635bd83f (patch) | |
tree | 10b3e67e2db9786a4499aec6a8a916a2bb36e456 | |
parent | 6344b74a546a75975ef5539b9138fb6290d72fc5 (diff) |
fix
-rw-r--r-- | src/client/views/MainView.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
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 |