From c99af36be34b530da7c3d4f5aaca4441a599cb25 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sun, 31 Jul 2022 22:19:53 -0700 Subject: [PATCH] gopher.ui: don't require a protocol for gopher urls --- extra/gopher/ui/ui.factor | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/extra/gopher/ui/ui.factor b/extra/gopher/ui/ui.factor index cadf254ab9..edcc48fe6f 100644 --- a/extra/gopher/ui/ui.factor +++ b/extra/gopher/ui/ui.factor @@ -28,8 +28,11 @@ M: gopher-gadget model-changed [ value>> present ] [ url-field>> editor>> set-editor-string ] bi* ; +: ?gopher-url ( obj -- url ) + present dup "://" subseq-index? [ "gopher://" prepend ] unless >url ; + : show-gopher ( url gopher-gadget -- ) - [ [ >url ] [ f ] if* ] dip + [ [ ?gopher-url ] [ f ] if* ] dip over [ protocol>> "gopher" = ] [ t ] if* [ [ 2dup control-value = @@ -40,7 +43,7 @@ M: gopher-gadget model-changed ] [ drop open-url ] if ; : ( gopher-gadget -- field ) - '[ >url _ show-gopher ] + '[ _ show-gopher ] "Gopher URL" >>default-text white-interior ; -- 2.34.1