diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2019-12-17 20:55:38 -0500 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2019-12-17 20:55:38 -0500 |
| commit | 16c84a8042fc3e9d7af3d74fce2758bf6862a5a2 (patch) | |
| tree | 983ca7313c91a1c627ba6d76f931aba9d397be46 /src/client/views/GlobalKeyHandler.ts | |
| parent | 96ada41d4c3c411be63bd656da65bba7894a4224 (diff) | |
warnings and fix to doc decorations close button to deselect first
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 c48e1df4f..979687ffb 100644 --- a/src/client/views/GlobalKeyHandler.ts +++ b/src/client/views/GlobalKeyHandler.ts @@ -127,7 +127,7 @@ export default class KeyManager { switch (keyname) { case "f": - let dv = SelectionManager.SelectedDocuments()?.[0]; + const dv = SelectionManager.SelectedDocuments()?.[0]; if (dv) { const ex = dv.props.ScreenToLocalTransform().inverse().transformPoint(0, 0)[0]; const ey = dv.props.ScreenToLocalTransform().inverse().transformPoint(0, 0)[1]; |