From 60650c8addc640370606c80ea435f401f0ca8129 Mon Sep 17 00:00:00 2001
From: Joe Groff <arcata@gmail.com>
Date: Sun, 4 Mar 2012 13:07:58 -0800
Subject: [PATCH] ui.tools.listener: dumb hack to set listener font

---
 basis/ui/tools/listener/listener.factor | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/basis/ui/tools/listener/listener.factor b/basis/ui/tools/listener/listener.factor
index 2e5132c0e8..7274834a10 100644
--- 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 ;