From 27ca0e47ae949e52d3439c2dab5d838a01e9ca3f Mon Sep 17 00:00:00 2001 From: Stewart Allen Date: Sat, 13 Jun 2020 18:27:31 -0400 Subject: [PATCH] add settings load shortcut --- src/kiri/init.js | 11 ++++++++++- src/kiri/ui.js | 2 +- 2 files changed, 11 insertions(+), 2 deletions(-) diff --git a/src/kiri/init.js b/src/kiri/init.js index 9cd9c7a0..1ef3478e 100644 --- a/src/kiri/init.js +++ b/src/kiri/init.js @@ -477,7 +477,11 @@ $('sexport').click(); } - function settingsSave() { + function settingsSave(ev) { + if (ev) { + ev.stopPropagation(); + ev.preventDefault(); + } API.dialog.hide(); let mode = API.mode.get(), s = settings(), @@ -500,6 +504,7 @@ } function settingsLoad() { + UC.hidePoppers(); API.conf.show(); } @@ -1589,10 +1594,14 @@ API.space.reload(); }; + // when profile hover/pop, hide other poppers $('set-top').onmouseover = () => { UC.hidePoppers(); }; + // shortcut to load settings + UI.settingsGroup.onclick = settingsLoad; + SPACE.addEventHandlers(self, [ 'keyup', keyUpHandler, 'keydown', keyDownHandler, diff --git a/src/kiri/ui.js b/src/kiri/ui.js index c39969e0..c63105e0 100644 --- a/src/kiri/ui.js +++ b/src/kiri/ui.js @@ -542,7 +542,7 @@ b.onclick = function() { hidePoppers(); - if (action) action(); + if (action) action(...arguments); }; if (opt.class) {