ui.tools.listener: dumb hack to set listener font

diff --git a/basis/ui/tools/listener/listener.factor b/basis/ui/tools/listener/listener.factor
index 2e5132c0e8f58ccdc573b701d1db3b8d15ec3559..7274834a10e87d7c860e5e867313c94ba7ccd601 100644 (file)
--- a/basis/ui/tools/listener/listener.factor
+++ b/basis/ui/tools/listener/listener.factor
@@ -449,3 +449,23 @@ M: listener-gadget graft*
 
 M: listener-gadget ungraft*
     [ com-end ] [ call-next-method ] bi ;
+
+<PRIVATE
+
+:: make-font-style ( family size -- assoc )
+    H{ } clone
+        family font-name pick set-at
+        size font-size pick set-at ;
+
+PRIVATE>
+
+:: set-listener-font ( family size -- )
+    get-listener input>> :> inter
+    family size make-font-style
+    inter output>> make-span-stream :> ostream
+    ostream inter output<<
+    inter font>> clone
+        family >>name
+        size >>size
+    inter font<<
+    ostream output-stream set ;