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 4c24ded1ce186a430fb6aad9b3cc8fcab877800c..f40a77abba3db328e92dc37766fa41f051a7cbe2 100644 (file)
--- 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 ;