remove unused icons, roll export dialogs into index.html

2024-09-12 10:11:38 -04:00 · 2024-09-12 10:11:38 -04:00 · e7fd4b0852
commit e7fd4b0852
parent 7a5031044f
15 changed files with 125 additions and 151 deletions
--- a/src/kiri/main.js
+++ b/src/kiri/main.js
@ -670,7 +670,7 @@ gapp.register("kiri.main", [], (root, exports) => {
            visible = modalShowing(),
            info = { pct: 0 };

-        ["help","setup","tools","prefs","saves","files","print","local","any"].forEach(function(name) {
+        ["help","setup","tools","prefs","saves","files","xany","xlaser","xsla","local","any"].forEach(name => {
            UI[name].style.display = name === which ? 'flex' : '';
        });