From: John Benediktsson Date: Wed, 24 Mar 2021 05:22:37 +0000 (-0700) Subject: ui.tools.listener: change set-listener-font to modify style-stream. X-Git-Tag: 0.99~2366 X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=413b65b1ce2f559623d6c3c007121cec055f5e02 ui.tools.listener: change set-listener-font to modify style-stream. --- diff --git a/basis/ui/tools/listener/listener.factor b/basis/ui/tools/listener/listener.factor index 99f781f8f1..7b735ecee7 100644 --- a/basis/ui/tools/listener/listener.factor +++ b/basis/ui/tools/listener/listener.factor @@ -487,26 +487,16 @@ M: listener-gadget graft* M: listener-gadget ungraft* [ com-end ] [ call-next-method ] bi ; - - :: set-listener-font ( family size -- ) - get-listener input>> :> inter - family size make-font-style - inter output>> make-span-stream :> ostream - ostream inter output<< - inter [ + get-listener input>> :> interactor + interactor output>> :> output + interactor [ clone family >>name size >>size ] change-font f >>line-height drop - ostream output-stream set ; + family font-name output style>> set-at + size font-size output style>> set-at ;