add enable/disable for export options

2020-06-10 20:48:59 -04:00 · 2020-06-10 20:48:59 -04:00 · cbf3e2ff1a
commit cbf3e2ff1a
parent 9e4129f02b
6 changed files with 92 additions and 52 deletions
--- a/src/kiri/conf.js
+++ b/src/kiri/conf.js
@ -544,7 +544,10 @@
                freeLayout: true,
                autoLayout: true,
                alignTop: true,
-                units: "mm"
+                units: "mm",
+                exportOcto: true,
+                exportGhost: false,
+                exportLocal: false
            },
            // for passing temporary slice hints (topo currently)
            synth: {},