webbrowser: rename url-like to url-string.
parent
ea0759fff6
commit
988e2ee4a9
|
@ -1,7 +1,7 @@
|
|||
USING: tools.test ;
|
||||
IN: webbrowser
|
||||
|
||||
{ t } [ "http://reddit.com" url-like? ] unit-test
|
||||
{ t } [ "https://reddit.com" url-like? ] unit-test
|
||||
{ f } [ "ftp://reddit.com" url-like? ] unit-test
|
||||
{ f } [ 123 url-like? ] unit-test
|
||||
{ t } [ "http://reddit.com" url-string? ] unit-test
|
||||
{ t } [ "https://reddit.com" url-string? ] unit-test
|
||||
{ f } [ "ftp://reddit.com" url-string? ] unit-test
|
||||
{ f } [ 123 url-string? ] unit-test
|
||||
|
|
|
@ -19,7 +19,7 @@ HOOK: open-file os ( path -- )
|
|||
|
||||
[ url? ] \ open-url H{ } define-operation
|
||||
|
||||
PREDICATE: url-like < string
|
||||
PREDICATE: url-string < string
|
||||
{ [ "http://" head? ] [ "https://" head? ] } 1|| ;
|
||||
|
||||
[ url-like? ] \ open-url H{ } define-operation
|
||||
[ url-string? ] \ open-url H{ } define-operation
|
||||
|
|
Loading…
Reference in New Issue