diff options
| author | Sam Wilkins <samwilkins333@gmail.com> | 2020-10-20 22:05:05 -0700 |
|---|---|---|
| committer | Sam Wilkins <samwilkins333@gmail.com> | 2020-10-20 22:05:05 -0700 |
| commit | 6580a0cbec7321278f8009076e0bb0890d7b3596 (patch) | |
| tree | f505ee3feab6b602c37cd1983f94003605d3a917 /src/client/views/GlobalKeyHandler.ts | |
| parent | f072617e9e14d49ce6099fe7c930d253801ef44f (diff) | |
| parent | 1d3102c5d787ddf2a7c333fed153cbfacce9e90d (diff) | |
Merge branch 'restored_server_monitor' of https://github.com/browngraphicslab/Dash-Web into restored_server_monitor
Diffstat (limited to 'src/client/views/GlobalKeyHandler.ts')
| -rw-r--r-- | src/client/views/GlobalKeyHandler.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/GlobalKeyHandler.ts b/src/client/views/GlobalKeyHandler.ts index 89292a445..fb360ee26 100644 --- a/src/client/views/GlobalKeyHandler.ts +++ b/src/client/views/GlobalKeyHandler.ts @@ -56,7 +56,7 @@ export class KeyManager { public handle = action(async (e: KeyboardEvent) => { if (e.key?.toLowerCase() === "shift" && e.ctrlKey && e.altKey) KeyManager.Instance.ShiftPressed = true; - if (!Doc.UserDoc().noviceMode && e.key.toLocaleLowerCase() === "shift") DocServer.PRINT_CACHE(); + if (!Doc.UserDoc().noviceMode && e.key.toLocaleLowerCase() === "shift") DocServer.UPDATE_SERVER_CACHE(true); const keyname = e.key && e.key.toLowerCase(); this.handleGreedy(keyname); |