From 0d07ec8f8af573820706eeeddb9dc6f2538f517c Mon Sep 17 00:00:00 2001
From: Arkerthan <arkerthan@gmail.com>
Date: Mon, 8 Jun 2020 12:57:13 +0200
Subject: [PATCH] correct namespace for hotkeys

---
 devTools/FC.ts | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/devTools/FC.ts b/devTools/FC.ts
index 554acdb0ab0..36c899b9169 100644
--- a/devTools/FC.ts
+++ b/devTools/FC.ts
@@ -50,8 +50,6 @@ namespace App {
 
 	namespace Facilities {}
 
-	namespace Hotkeys {}
-
 	namespace Interact {}
 
 	namespace Intro {}
@@ -257,6 +255,7 @@ namespace App {
 			declare function makeElement<K extends keyof HTMLElementTagNameMap>(tag: K, content: string | Node, classNames?: string | string[]): HTMLElementTagNameMap[K];
 			declare function appendNewElement<K extends keyof HTMLElementTagNameMap>(tag: K, parent: ParentNode, content?: string | Node, classNames?: string | string[]): HTMLElementTagNameMap[K];
 		}
+		namespace Hotkeys { }
 		namespace View { }
 		namespace SlaveSummary {
 			type AppendRenderer = (slave: FC.SlaveState, parentNode: Node) => void;
-- 
GitLab