From: John Benediktsson <mrjbq7@gmail.com>
Date: Mon, 1 Aug 2022 05:19:42 +0000 (-0700)
Subject: gemini.ui: don't require a protocol for gemini urls
X-Git-Tag: 0.99~1239
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=57dd7977e5714509301b870d4017222fb642bd7f

gemini.ui: don't require a protocol for gemini urls
---

diff --git a/extra/gemini/ui/ui.factor b/extra/gemini/ui/ui.factor
index 4c24ded1ce..f40a77abba 100644
--- a/extra/gemini/ui/ui.factor
+++ b/extra/gemini/ui/ui.factor
@@ -28,8 +28,11 @@ M: gemini-gadget model-changed
     [ value>> present ]
     [ url-field>> editor>> set-editor-string ] bi* ;
 
+: ?gemini-url ( obj -- url )
+    present dup "://" subseq-index? [ "gemini://" prepend ] unless >url ;
+
 : show-gemini ( url gemini-gadget -- )
-    [ [ >url ] [ f ] if* ] dip
+    [ [ ?gemini-url ] [ f ] if* ] dip
     over [ protocol>> "gemini" = ] [ t ] if* [
         [
             2dup control-value =
@@ -40,7 +43,7 @@ M: gemini-gadget model-changed
     ] [ drop open-url ] if ;
 
 : <url-field> ( gemini-gadget -- field )
-    '[ >url _ show-gemini ] <action-field>
+    '[ _ show-gemini ] <action-field>
         "Gemini URL" >>default-text
         white-interior ;