Move user mappings to options to prevent override

Adresses #127
2026-04-21 06:49:02 +00:00 · 2023-04-03 14:14:39 +02:00
parent 811d4622e9
commit 873a15b5f6
5 changed files with 55 additions and 64 deletions
--- a/javascript/__globals.js
+++ b/javascript/__globals.js
@@ -1,7 +1,6 @@
 // Core components
 var CFG = null;
 var tagBasePath = "";
-var keymap = null;

 // Tag completion data loaded from files
 var allTags = [];