Implemented new Editor Option: CodeMirror. (Vim mode not 100% done yet)

2026-04-23 09:42:53 +02:00 · 2019-01-27 14:08:45 -08:00
parent a2237d4319
commit 8d2c007bcb
39 changed files with 69645 additions and 9328 deletions
@@ -6,7 +6,7 @@ import { inMission }                            from "./Missions";
 import { Player }                               from "./Player";
 import { redPillFlag }                          from "./RedPill";
 import { GetServerByHostname }                  from "./Server";
-import { Settings }                             from "./Settings";
+import { Settings }                             from "./Settings/Settings";
 import { dialogBoxCreate,
         dialogBoxOpened}                       from "../utils/DialogBox";
 import {Reviver, Generic_toJSON,