add user preference for device decals. remove hover pop option

2020-11-29 00:10:41 -05:00 · 2020-11-29 00:10:41 -05:00 · 48ae4de6e0
commit 48ae4de6e0
parent 5fbf82b64f
5 changed files with 40 additions and 26 deletions
--- a/src/kiri/conf.js
+++ b/src/kiri/conf.js
@ -603,7 +603,8 @@
                view: null,
                dark: false,
                expert: true,
-                hoverPop: false,
+                decals: true,
+                // hoverPop: false,
                zoomSpeed: 1.0,
                lineType: "path",
                autoSave: true,