]> gitweb.factorcode.org Git - factor.git/commitdiff
gemini.ui: adding a MAIN:
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 16 Jan 2023 18:16:12 +0000 (10:16 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 16 Jan 2023 18:16:12 +0000 (10:16 -0800)
extra/gemini/ui/ui.factor

index a9f3ed1bf99107ec62800447f2ab068159014d21..671e943a1b37142f4980d5617b310172c284ba82 100644 (file)
@@ -110,3 +110,8 @@ gemini-gadget "scrolling" f {
 } define-command-map
 
 [ dup url? [ protocol>> "gemini" = ] [ drop f ] if ] \ com-gemini H{ { +primary+ t } } define-operation
+
+: gemini-main ( -- )
+    [ "gemini.circumlunar.space" open-gemini-window ] with-ui ;
+
+MAIN: gemini-main