Very minor, but after generating the drop down menu code the app reported an error message that hotkeys-js wasn't available (sorry, don't have the original error message).
Just adding the JS library via importmap fixed the issue, but it'd be great if the dependency could be documented. Fix:
Very minor, but after generating the drop down menu code the app reported an error message that
hotkeys-js
wasn't available (sorry, don't have the original error message).Just adding the JS library via importmap fixed the issue, but it'd be great if the dependency could be documented. Fix: