From 16c84a8042fc3e9d7af3d74fce2758bf6862a5a2 Mon Sep 17 00:00:00 2001
From: Bob Zeleznik <zzzman@gmail.com>
Date: Tue, 17 Dec 2019 20:55:38 -0500
Subject: warnings and fix to doc decorations close button to deselect first

---
 src/client/views/GlobalKeyHandler.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/client/views/GlobalKeyHandler.ts')

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];
-- 
cgit v1.2.3-70-g09d2