()
| 291 | mapKeyRegistry: null, |
| 292 | |
| 293 | async init() { |
| 294 | await Settings.onLoaded(); |
| 295 | Settings.addEventListener("change", async () => { |
| 296 | await this.loadKeyMappings(Settings.get("keyMappings")); |
| 297 | }); |
| 298 | await this.loadKeyMappings(Settings.get("keyMappings")); |
| 299 | }, |
| 300 | |
| 301 | // Parses the user's keyMapping config text and persists the parsed key mappings into the |
| 302 | // extension's storage, for use by the other parts of this extension. |