Expose portal.ui.options to sci

djblue · Jun 6, 2023 · 5b88216 · 5b88216
1 parent 1d3f91d
commit 5b88216
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/portal/ui/sci/libs.cljs b/src/portal/ui/sci/libs.cljs
@@ -14,6 +14,7 @@
             portal.ui.commands
             portal.ui.icons
             portal.ui.inspector
+            portal.ui.options
             portal.ui.rpc
             [portal.ui.sci.import :as sci-import]
             portal.ui.select
@@ -66,6 +67,7 @@
     portal.ui.commands
     portal.ui.icons
     portal.ui.inspector
+    portal.ui.options
     portal.ui.rpc
     portal.ui.select
     portal.ui.state