add new keyboard shortcuts

2021-01-22 14:19:13 -05:00 · 2021-01-22 14:19:13 -05:00 · 20e0f0d722
commit 20e0f0d722
parent f4f39ef014
3 changed files with 10 additions and 4 deletions
--- a/src/kiri/init.js
+++ b/src/kiri/init.js
@ -461,6 +461,7 @@
                break;
            case cca('a'): // auto arrange items on platform
                platform.layout();
+                API.space.set_focus(API.selection.widgets());
                break;
            default:
                API.event.emit('keypress', evt);