Not really a question, just wanted to share a slight customization. Attached is a small couple of tiddlers that, when added, create a little widget in the menu bar to allow you to rapidly switch between keymaps.
tiddlers.json (1.7 KB)
My reason for this is that I use the vim keymap on desktop but the plain code mirror one on iOS/Android. It is possible to switch through the Control Panel, but a bit more ponderous than desirable when trying to make a quick change.