From 413b65b1ce2f559623d6c3c007121cec055f5e02 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Tue, 23 Mar 2021 22:22:37 -0700 Subject: [PATCH] ui.tools.listener: change set-listener-font to modify style-stream. --- basis/ui/tools/listener/listener.factor | 20 +++++--------------- 1 file changed, 5 insertions(+), 15 deletions(-) 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 ;