Deep in a thread on GitHub @jeremyruston mentioned the edit-shortcut widget, which is used in
$:/core/ui/ControlPanel/KeyboardShortcuts defined in $:/core/modules/widgets/edit-shortcut.js
There is no documentation or regular tiddler on tiddlywiki.com for “edit-shortcut”.
Is there a good reason this is not documented? I imagine some designers would appreciate access to this widget and could be building custom Javascript to solve this already solved feature.