move progress bar, end positioning, fix ui setmode corner case

2020-06-07 23:20:49 -04:00 · 2020-06-07 23:20:49 -04:00 · 23151260a1
commit 23151260a1
parent 793cdad2a1
3 changed files with 11 additions and 6 deletions
--- a/src/kiri/ui.js
+++ b/src/kiri/ui.js
@ -66,6 +66,7 @@
        hasModes.forEach(function(div) {
            div.setMode(div._group && !groupShow[div._group] ? NOMODE : mode);
        });
+        hidePoppers();
    }

    function setExpert(bool) {