diff options
| author | bobzel <zzzman@gmail.com> | 2025-05-09 23:02:18 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2025-05-09 23:02:18 -0400 |
| commit | afc2b90c3eab26a8a3d17bdb711652b68d2528d9 (patch) | |
| tree | 58f9edb8a79c9e1e983c9cc4e8c07988e7dd5f1d /src/client/views/MainView.tsx | |
| parent | 076bdacc5f05dd124823981e49174d276a7aebfd (diff) | |
| parent | 299398cb7e21259de3bf7597995840b84e7e0590 (diff) | |
Merge branch 'master' into lanyi-branch
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'); |