diff options
| author | bobzel <zzzman@gmail.com> | 2025-05-14 22:40:13 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2025-05-14 22:40:13 -0400 |
| commit | 6bd031a36680f9416938196981ad71f674afca26 (patch) | |
| tree | 7623e5aa3528094b56934ec7d4f70b11224ef327 /src/client/views/MainView.tsx | |
| parent | 80b07ab9b3e8f1e1bd0f5898177628047254bf25 (diff) | |
| parent | cc3838dd456da90a66d7b563d9f4ea7b8753c4de (diff) | |
Merge branch 'master' into aarav_edit
Diffstat (limited to 'src/client/views/MainView.tsx')
| -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 ad6bb09c7..c49b7e6de 100644 --- a/src/client/views/MainView.tsx +++ b/src/client/views/MainView.tsx @@ -173,7 +173,7 @@ export class MainView extends ObservableReactComponent<object> { views => views.length > 1 && document.activeElement instanceof HTMLElement && document.activeElement?.blur() ); reaction( - () => Doc.MyDockedBtns?.linearView_IsOpen, + () => Doc.MyDockedBtns?.linearView_isOpen, open => SnappingManager.SetPrintToConsole(!!open) ); const scriptTag = document.createElement('script'); |